Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Course on Natural Deduction and the Isabelle P...


view this post on Zulip Email Gateway (Aug 22 2022 at 14:50):

From: Jørgen Villadsen <jovi@dtu.dk>
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


Last updated: Mar 28 2024 at 12:29 UTC