Using algebra and LLMs to verify a flight-plan bug fix in Lean

(127.0.0.1:1111) by jameshh | May 19, 2026 | 0 comments on HN