fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
Back to home
·
All projects
Keyword Tag
formal-methods
Curated open-source repositories matching the tag/keyword "formal-methods".
1 project found
verified-3d-mesh-intersection
schildep/verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
74
stars
2
forks
Lean
MIT
computational-geometry
constructive-solid-geometry
formal-methods
formal-verification
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
