Towards an interactive Mathematical Proof Language
Henk P Barendregt · 2003
Formalizing mathematical proofs has as aim to represent arbitrary mathematical notions and proofs on a computer in order to construct a database of certified results useful to learn and develop the subject.