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

(max-amb.github.io)

2 points | by max-amb 7 hours ago ago

1 comments

  • max-amb 7 hours ago ago

    Feel free to ask any questions etc. here :)