Re:Logipedia – Encyclopedia of Formal Proofs
by Myrmornis on Monday March 18, 2019 @11:56AM
(#19422162)
(Not knowledgable about formal proof systems here.)
Does it have something like a "test suite" or a "build status" constantly verifying that the various claimed implications and equivalences are valid, and/or that the translations into other languages are valid?
Does it have something like a "test suite" or a "build status" constantly verifying that the various claimed implications and equivalences are valid, and/or that the translations into other languages are valid?