Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
github.com/namin
4 points
namin
4 months ago
2 comments
Loading...
A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs | Heykuki News