Fossy
fossy
Back to home·All projects
Keyword Tag

lean

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

3 projects found
talos
talos
cajal-technologies/talos
Wasm interpreter in lean, designed for reasoning
164stars22forksLean
AGPL-3.0
combinatorial-games
combinatorial-games
vihdzp/combinatorial-games
Combinatorial game library in Lean 4
110stars12forksLean
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
101stars2forksLean
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)