verified-polygon-intersection
by schildep · github.com/schildep/verified-polygon-intersection
Formally verified polygon intersection
Stars
★ 45
Forks
3
Language
Lean
Category
Other
License
MIT
computational-geometryformal-verificationlean4lean
Featured in
- verified-polygon-intersection @ 11:40 · Jun 11, 2026