J jameshaydon.github.io Using algebra and LLMs to verify a flight-plan bug fix in Lean 5 points jameshh 5 months ago 0 comments
