Teaching logic using a state-of-the-art proof assistant

C Kaliszyk, F. Wiedijk, M.R. Hendriks, F. van Raamsdonk

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education)
EditorsH. Geuvers, P. Courtieu
Place of PublicationParis, France
Publication statusPublished - 2007

Bibliographical note


Cite this