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