Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io) 5 points by jameshh 1mo ago ↗ HN
0 comments
[ 6.2 ms ] story [ 13.7 ms ] threadNo comments yet.