Stream: coq-community devs & users

Topic: High School Geometry

view this post on Zulip Karl Palmskog (Jul 02 2020 at 12:31):

I normally applaud any Coq porting efforts, but now we have two diverging/incomparable High School Geometry: (see here for context). Not sure what to do?

view this post on Zulip Théo Zimmermann (Jul 02 2020 at 15:38):

Agreed with you: the best would be to decide that @thery's version become the official one and the coq-contrib be archived and redirect to the other.

view this post on Zulip Michael Soegtrop (Jul 04 2020 at 10:31):

I wonder if some day we need internationalization for Coq files - also some of the Coquelicot examples are not easy to understand with rusted French

Last updated: Jun 24 2024 at 14:01 UTC