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.
Topics: Programming
Entities: Programming
My experience using coding agents to help formally verify the UK ATC meltdown solution in Lean.
Topics: Programming
Entities: Programming