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.

jameshaydon.github.io

Solving `Passport Application` with Haskell

Using logic programming to beat the game

jameshaydon.github.io