Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

En 3 lignesDémonstration d'une vérification formelle d'intersection de polygones résolue en une seule tentative avec Claude Opus 4.8, là où les versions précédentes échouaient.

Résumé généré par Claude — vérifié par l'humain