Stream: coq-community devs & users

Topic: Release of HighSchoolGeometry with Ptomely's theorem

view this post on Zulip Karl Palmskog (Oct 19 2020 at 10:43):

@Laurent Théry do you mind if I do a release of HighSchoolGeometry so we have a release that includes Ptolemy's theorem?

view this post on Zulip Laurent Théry (Oct 19 2020 at 10:49):

no problem

Last updated: Jun 03 2023 at 18:01 UTC