Re:Logipedia – Encyclopedia of Formal Proofs
by sansnomme on Monday March 18, 2019 @12:20PM
(#19422428)
There is also Metamath http://us.metamath.org, another wonderful resource. Would be really cool if these two projects could integrate.
[ Parent
| on HN ]
There are no comments on this comment yet.