3 ms·A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs4 points by namin 8mo agovdupras 8mo agoI asked the LLM whether my program was correct and it answered: you're absolutely right!namin 8mo agoHa. At least you can check the theorem statements and see that the proofs verify :)