Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP site: Congrats and question

Email Gateway (Jul 01 2022 at 12:16):

From: Fabian Huch <huch@in.tum.de>
Thanks for pointing these out!

Fabian

Last updated: Oct 09 2025 at 01:37 UTC