curry-howard
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
| File Name | Size | Mode |
| fake-theorem.py | 30B | -rw-r--r-- |
1 f(n + m) % (f(n) * f(m)) == 0
Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
| File Name | Size | Mode |
| fake-theorem.py | 30B | -rw-r--r-- |
1 f(n + m) % (f(n) * f(m)) == 0