A Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs

(github.com) by namin | Feb 6, 2026 | 0 comments on HN