FM News
Introduction to Formal Verification with Lean Part 1
On a story from Hacker News0mo ago
Read the original at hashcloak.com
Introduction to Formal Verification with Lean Part 1
fmode.me/n/introduction-to-formal-verification-with-lean-part-1
More from FM News
Quoting OpenClaw1 pts · Simon WillisonCoding agents can be evaluated. We just have to evaluate the work.1 pts · The New StackAI coding got faster. Why didn’t engineering?1 pts · The New StackThe playbook for building high talent density teams | Adam Ward, Head of Talent at Cursor1 pts · Lenny's Newsletter