Proof assistant/External Links
- Please sort and annotate in a user-friendly manner and consider archiving the URLs behind the links you provide. See also related web sources.
Some books mentioned on the "Bibliography" page:
- Nipkow, Paulson, Wenzel: Isabelle/HOL (tutorial) (newer version, of 2010)
- HOL (history and relatives)
- Prover9 (and Mace4; successor of Otter).
- Lego (1999)
- Mechanized Reasoning (1996)