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

4 points | by jameshh 8 hours ago