Example: dental hygienist
HOL Isabelle
Preface This volume is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is written for potential
Download HOL Isabelle
Information
Domain:
Source:
Link to this page: