Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP site: Congrats and question


view this post on Zulip Email Gateway (Jul 01 2022 at 12:16):

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

Fabian


Last updated: Jul 15 2022 at 23:21 UTC