Using algebra and LLMs to verify a flight-plan bug fix in Lean
My experience using coding agents to help formally verify the UK ATC meltdown solution in Lean.
My experience using coding agents to help formally verify the UK ATC meltdown solution in Lean.