Fossy
fossy
Curated FOSS Directory for Community and Discussion
Back to home·All projects
Keyword Tag

lean4

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

1 project found
verified-polygon-intersection
verified-polygon-intersection
schildep/verified-polygon-intersection
Formally verified polygon intersection
42stars3forksLean
MIT
computational-geometry
formal-verification
lean4

Sponsored

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