G github.com A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs 4 points namin 8 months ago 2 comments
