Zulip Chat Archive
Stream: lean4
Topic: Find guys who are formalizing for primary geometry
Yahoo (Aug 07 2025 at 10:32):
Anyone doing any formal geometry related work? Hope we can communicate together
(deleted) (Aug 07 2025 at 10:50):
Me.
(deleted) (Aug 07 2025 at 10:50):
Just high school geometry.
Last updated: Dec 20 2025 at 21:32 UTC