[isabelle] Course on Natural Deduction and the Isabelle Proof Assistant



Hi,

For your information, next year I give the following introductory course:

Natural Deduction and the Isabelle Proof Assistant,
European Summer School in Logic, Language, and Information (ESSLLI),
17-28 July 2017, Toulouse, France

https://www.irit.fr/esslli2017/courses/24.html

Regards,

Jørgen
	




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.