Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Transport via Partial Galois C...

view this post on Zulip Email Gateway (Oct 13 2023 at 13:06):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce a substantial and sophisticated looking contribution by Kevin Kappelmann:

It is now on-line at https://www.isa-afp.org/entries/Transport.html

Larry Paulson

Last updated: Jan 04 2025 at 20:18 UTC