Towards the Mechanical Verification of Textbook Proofs

by Claus Zinn
Citations:1 - 1 self

Document Versions

Towards the Mechanical Verification of Textbook Proofs –Claus Zinn — 2000 — In Proceedings of the 7th. Workshop on Logic, Language, Information and Computation (WOLLIC-2000
Towards the Mechanical Verification of Textbook Proofs –Claus Zinn