fossy
Curated FOSS Directory for Community and Discussion
Top 100
All Projects
Languages
Platforms
Contributors
Articles
Sponsor
Submit
Sign in
Back to home
·
All projects
Keyword Tag
formal-verification
Curated open-source repositories matching the tag/keyword "formal-verification".
1 project found
verified-polygon-intersection
schildep/verified-polygon-intersection
Formally verified polygon intersection
42
stars
3
forks
Lean
MIT
computational-geometry
formal-verification
lean4
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
