Type checker may be wrong – Lean and the Curry-Howard correspondence(max-amb.github.io)
2 pointsby max-amb7 hours ago1 comment
  • max-amb7 hours ago
    Feel free to ask any questions etc. here :)