Hacker News3d ago

Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

https://github.com/schildep/verified-polygon-intersection

#HackerNews #polygonintersection #verifiedsoftware #formalverification #Opus4.8 #technews

GitHub - schildep/verified-polygon-intersection: Formally verified polygon intersection

Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.

GitHub