Example: dental hygienist
HOL Isabelle

HOL Isabelle

Back to document page

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

  Isabelle

Download HOL Isabelle


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries