A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com) 4 points by namin 7mo ago ↗ HN
[–] vdupras 7mo ago ↗ I asked the LLM whether my program was correct and it answered: you're absolutely right!
1 comment of 2
[ 2.8 ms ] story [ 13.2 ms ] thread