feat(Geometry/Euclidean/Projection): projection onto sup#30703
Open
jsm28 wants to merge 18 commits intoleanprover-community:masterfrom
Open
feat(Geometry/Euclidean/Projection): projection onto sup#30703jsm28 wants to merge 18 commits intoleanprover-community:masterfrom
jsm28 wants to merge 18 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 19, 2025
- committed
- committed
- committed
- committed
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 20, 2025
- andauthored
- committed
- committed
- committed
- committed