Hacker News new | ask | show | jobs
A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com)
4 points by namin 126 days ago
1 comments
vdupras 126 days ago
I asked the LLM whether my program was correct and it answered: you're absolutely right!
link
namin 126 days ago
Ha. At least you can check the theorem statements and see that the proofs verify :)
link