New book: Isabelle/HOL Tutorial

• To: types@cis.upenn.edu
• Subject: New book: Isabelle/HOL Tutorial
• From: nipkow@in.tum.de
• Date: Mon, 8 Apr 2002 10:44:23 +0200
• Sender: nipkow@informatik.tu-muenchen.de

- YOU ALWAYS WANTED TO TRY AN INTERACTIVE THEOREM PROVER,
  but they looked so complicated.

- YOU ARE ALREADY USING ONE,
  but the documentation ...

LOOK NO FURTHER!

We are pleased to announce the publication of the Isabelle/HOL tutorial

  Isabelle/HOL: A Proof Assistant for Higher-Order Logic
  by Tobias Nipkow, Lawrence C. Paulson and Markus Wenzel
  Springer LNCS 2283

This book is a self-contained introduction to interactive proof in
higher-order logic (HOL), using the proof assistant Isabelle2002. It is a
tutorial for potential users rather than a monograph for researchers.

For more information (and online access!), please visit

    http://www.in.tum.de/~nipkow/LNCS2283/


Enjoy,

Tobias Nipkow
Larry Paulson
Markus Wenzel

• Prev: CFP: TIP'02 Workshop on Types in Programming
• Next: RE: Component Pascal type system is unsound
• Index(es):
  • Main
  • Thread