- Referenced in 63 articles
- proving properties of computer languages and protocols. Isabelle/ZF formalizes the greater part of elementary ... Theorem, and (assuming AC) the Wellordering Theorem. Isabelle/ZF also provides theories of lists, trees...
- Referenced in 698 articles
- Isabelle is a generic proof assistant. It allows...
- Referenced in 144 articles
- Theorem proving system supporting both interactive proof development...
- Referenced in 192 articles
- The 1998 Proof of the Kepler Conjecture. The...