The Trivial proof verifier - an interface to the Metamath Zero kernel
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool