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

(max-amb.github.io)

2 points | by max-amb 8 hours ago

1 comments