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: Feb 04 2023 at 02:03 UTC