fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
Back to home
·
All projects
Keyword Tag
lean4
Curated open-source repositories matching the tag/keyword "lean4".
2 projects found
lean4
leanprover/lean4
Lean 4 programming language and theorem prover
8.6k
stars
918
forks
Lean
Apache-2.0
lean
lean4
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)
