Synopsis
Isabelle An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage. Full description
"synopsis" may belong to another edition of this title.
