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: Apr 28 2024 at 20:16 UTC