The top documents tagged [proof comparison]

Natural Deduction in the Metamath Proof Language
Documents Natural Deduction in the Metamath Proof Language

63 views