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