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

2 pointsposted 8 hours ago
by max-amb
(max-amb.github.io)

1 Comments

max-amb

7 hours ago

Feel free to ask any questions etc. here :)