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: May 25 2024 at 21:01 UTC