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

(jameshaydon.github.io)

4 points | by jameshh 7 hours ago ago

No comments yet.