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

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

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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education)
Editors	H. Geuvers, P. Courtieu
Place of Publication	Paris, France
Publication status	Published - 2007

Bibliographical note

pate2007

Persistent URL (handle)

Copy link address

Cite this

@inproceedings{d4b7eb8957ae498c9f14dfd4400916f0,

title = "Teaching logic using a state-of-the-art proof assistant",

author = "C Kaliszyk and F. Wiedijk and M.R. Hendriks and {van Raamsdonk}, F.",

note = "pate2007 ",

year = "2007",

language = "English",

editor = "H. Geuvers and P. Courtieu",

booktitle = "Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education)",

}

Teaching logic using a state-of-the-art proof assistant. / Kaliszyk, C; Wiedijk, F.; Hendriks, M.R. et al.
Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education). ed. / H. Geuvers; P. Courtieu. Paris, France, 2007.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review