Using algebra and LLMs to verify a flight-plan bug fix in Lean Posted by jameshh on Tuesday May 19, 2026 @12:07AM from the jameshaydon.github.io dept. https://jameshaydon.github.io/algebra-llms-lean-flight-plan/ ( no comments | on HN )
There are no comments yet.