Sponsor of the Day:
Jerkmate
https://isa-afp.org/entries/Z_Toolkit.html
Z Mathematical Toolkit in Isabelle/HOL - Archive of Formal Proofs
Z Mathematical Toolkit in Isabelle/HOL in the Archive of Formal Proofs
isabelle hol archiveformal proofszmathematicaltoolkit
https://isa-afp.org/entries/Show.html
Haskell's Show Class in Isabelle/HOL - Archive of Formal Proofs
Haskell's Show Class in Isabelle/HOL in the Archive of Formal Proofs
isabelle hol archiveshow classformal proofshaskell
https://isa-afp.org/entries/GoedelGod.html
Gödel's God in Isabelle/HOL - Archive of Formal Proofs
Gödel's God in Isabelle/HOL in the Archive of Formal Proofs
isabelle hol archiveformal proofsgod