News for hackers. Stuff that matters.

A comment on Logipedia – Encyclopedia of Formal Proofs. Parent comment

Re:Logipedia – Encyclopedia of Formal Proofs by brohee on Monday March 18, 2019 @12:12PM (#19422335)
Well according to https://deducteam.github.io/ HOL and Coq can be autotranslated to Dedukti (which is the language Logipedia uses)...
[ Parent | on HN ]

There are no comments on this comment yet.