Fossy
fossy
Back to home·All projects
Keyword Tag

Lean

Curated open-source repositories matching the tag/keyword "Lean".

2 projects found
combinatorial-games
combinatorial-games
vihdzp/combinatorial-games
Combinatorial game library in Lean 4
109stars14forksLean
Apache-2.0
verified-3d-mesh-intersection
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
105stars2forksLean
MIT
computational-geometry
constructive-solid-geometry
formal-methods
formal-verification

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)