Re:Logipedia – Encyclopedia of Formal Proofs
by JadeNB on Monday March 18, 2019 @02:13PM
(#19423518)
Since we're mentioning alternatives, there's also http://vdash.org .
[ Parent
| on HN ]
There are no comments on this comment yet.