Hacker News new | ask | show | jobs
Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
5 points by jameshh 30 days ago