ended7월 27일· 1 sources
We have proof automation now
Why it matters
We have proof automation now (26 Jul 2026) 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 enforci...
1
Sources
+0
24h
—
Growth
56d
Active