A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
1–3 of 3 posts
Re: A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
#2I asked the LLM whether my program was correct and it answered: you're absolutely right!
Re: A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
#3I asked the LLM whether my program was correct and it answered: you're absolutely right!
Ha. At least you can check the theorem statements and see that the proofs verify :)