Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
polygon intersectionformal verificationAI agentsLean checkersoftware architecturetesting and QA.
Author: permute
Date: 6/4/2026
Article Summary:
A formally verified implementation of an intersection algorithm for polygons using AI agents and the Lean checker.