A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMsgithub.com/namin4 pointsnamin5 months ago