Login / Signup

Conversion of HOL Light proofs into Metamath.

Mario Carneiro
Published in: J. Formaliz. Reason. (2016)
Keyphrases