Type checker may be wrong – Lean and the Curry-Howard correspondence

(max-amb.github.io) by max-amb | Jul 25, 2026 | 0 comments on HN