A arxiv.org Metamath Zero, a bootstrapping theorem prover 125 points giomasce 7 years ago 36 comments
