We have proof automation now
💥 Explore this insightful post from Hacker News 📖
📂 **Category**:
✅ **What You’ll Learn**:
I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean.
They offer the possibility of a type system capable of encoding and enforcing
arbitrarily subtle invariant...
