Towards the Mechanical Verification of Textbook Proofs (2000)

by C Zinn
Venue:In Proceedings of the 7th. Workshop on Logic, Language, Information and Computation (WOLLIC-2000