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

1 points | by max-amb an hour ago

1 comments

  • max-amb an hour ago

    Feel free to ask any questions etc. here :)