Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Who needs a textbook for teaching PL using Coq...

Email Gateway (Aug 18 2022 at 12:56):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
The following exciting contribution on the Coq mailing list might be of
interest for everybody involved in teaching formal methods, logics,
programming language foundations.

Florian
signature.asc

Last updated: Jan 08 2026 at 04:41 UTC