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