3 ms·
There's also the Archive of Formal Proofs: https://www.isa-afp.org/ https://www.isa-afp.org/ It has many (all?) publicly available Isabelle (proof assistant) p
by namibj 4y ago
There's also the Archive of Formal Proofs: https://www.isa-afp.org/ https://www.isa-afp.org/
It has many (all?) publicly available Isabelle (proof assistant) proofs quite neatly organized.
- zaik 4y agoExplaining proofs to computers is still a very different beast to explaining proofs to humans. Hopefully this gap will get narrower in the next 50 years or so.