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