Zulip Chat Archive
Stream: Rutgers Lean seminar
Topic: Euclidean diagrams
Ian Jauslin (Oct 04 2023 at 16:41):
Here is a link to Vlada's clone of ProofWidgets:
https://github.com/VladaSedlacek/ProofWidgets4/tree/euclidean
Last updated: May 02 2025 at 03:31 UTC