schildep/verified-polygon-intersection

Formally verified polygon intersection

93 best points · 21 comments · 1 Hacker News post · 49 GitHub stars · View on GitHub

Hacker News discussions