namin/dafny-sandbox

Dafny for Metatheory of Programming Languages

4 best points · 2 comments · 1 Hacker News post · 29 GitHub stars · View on GitHub

Hacker News discussions

• A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (4 points, 2 comments, by namin, 2026-02-06)