A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMsgithub.com/namin 4 pointsnamin7 months ago2 commentsSaveHideCopy link On HNComments−vdupras7moI asked the LLM whether my program was correct and it answered: you're absolutely right!−naminOP7moHa. At least you can check the theorem statements and see that the proofs verify :)
Comments
I 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 :)