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: Dec 20 2023 at 11:08 UTC