Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Logipedia – Encyclopedia of Formal Proofs. Parent comment
[3] https://coq.inria.fr/library/
Each 1-3 is language specific (Isabelle/HOL, Mizar and Coq respectively).
Logipedia too, is using the language Dedukti, although it is designed to translate into other proof languages, and list these on Logipedia.
There are no comments on this comment yet.
[3] https://coq.inria.fr/library/
Each 1-3 is language specific (Isabelle/HOL, Mizar and Coq respectively).
Logipedia too, is using the language Dedukti, although it is designed to translate into other proof languages, and list these on Logipedia.