Fossy
fossy
Back schildep/verified-polygon-intersection
verified-polygon-intersection

verified-polygon-intersection

Formally verified polygon intersection

45 393 HN points
MIT
 last commit 2026-05-30
computational-geometryformal-verificationlean4
Website Source
Share:

About

Formally verified polygon intersection

Languages

Lean98.5%HTML0.8%Shell0.5%C0.1%Python0.1%

Contributors1

schildep2

No features listed.

Comments Theme
Keywords
computational-geometry
formal-verification
lean4
slug: verified-polygon-intersection

Sponsored

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