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