@inproceedings{freek2007e,
	Author = {Cezary Kaliszyk and  Freek Wiedijk and  M. Hendriks and Femke van Raamsdonk},
	Booktitle = {PATE'07, International Workshop on Proof Assistants and Types in Education},
	Date-Added = {2014-11-16 22:23:06 +0000},
	Date-Modified = {2014-11-16 22:25:28 +0000},
	Editor = {Herman Geuvers & P. Courtieu},
	Pages = {37--50},
	Title = {Teaching logic using a state-of-the-art proof assistant},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/webded1.pdf},
	Year = {2007}}

{"_id":"Bhuv8hPRJMTheqN4R","bibbaseid":"kaliszyk-wiedijk-hendriks-vanraamsdonk-teachinglogicusingastateoftheartproofassistant-2007","author_short":["Kaliszyk, C.","Wiedijk, F.","Hendriks, M.","van Raamsdonk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cezary"],"propositions":[],"lastnames":["Kaliszyk"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Hendriks"],"suffixes":[]},{"firstnames":["Femke"],"propositions":["van"],"lastnames":["Raamsdonk"],"suffixes":[]}],"booktitle":"PATE'07, International Workshop on Proof Assistants and Types in Education","date-added":"2014-11-16 22:23:06 +0000","date-modified":"2014-11-16 22:25:28 +0000","editor":[{"firstnames":["Herman","Geuvers","&","P."],"propositions":[],"lastnames":["Courtieu"],"suffixes":[]}],"pages":"37–50","title":"Teaching logic using a state-of-the-art proof assistant","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/webded1.pdf","year":"2007","bibtex":"@inproceedings{freek2007e,\n\tAuthor = {Cezary Kaliszyk and Freek Wiedijk and M. Hendriks and Femke van Raamsdonk},\n\tBooktitle = {PATE'07, International Workshop on Proof Assistants and Types in Education},\n\tDate-Added = {2014-11-16 22:23:06 +0000},\n\tDate-Modified = {2014-11-16 22:25:28 +0000},\n\tEditor = {Herman Geuvers & P. Courtieu},\n\tPages = {37--50},\n\tTitle = {Teaching logic using a state-of-the-art proof assistant},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/webded1.pdf},\n\tYear = {2007}}\n\n","author_short":["Kaliszyk, C.","Wiedijk, F.","Hendriks, M.","van Raamsdonk, F."],"editor_short":["Courtieu, H. G. & P."],"key":"freek2007e","id":"freek2007e","bibbaseid":"kaliszyk-wiedijk-hendriks-vanraamsdonk-teachinglogicusingastateoftheartproofassistant-2007","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/webded1.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["teaching","logic","using","state","art","proof","assistant","kaliszyk","wiedijk","hendriks","van raamsdonk"],"title":"Teaching logic using a state-of-the-art proof assistant","year":2007}