A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs(github.com)
3 pointsby namin3 hours ago1 comment
  • vdupras2 hours ago
    I asked the LLM whether my program was correct and it answered: you're absolutely right!
    • namin2 hours ago
      Ha. At least you can check the theorem statements and see that the proofs verify :)