Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: a port of GeoCoq

view this post on Zulip Email Gateway (Feb 01 2021 at 12:05):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce a substantial new contribution to the AFP, by Roland Coghetto:

You will find it online at https://www.isa-afp.org/entries/IsaGeoCoq.html

Larry

Last updated: Jan 04 2025 at 20:18 UTC