curry-howard

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence

Name
.gitignore
LICENSE
README.md
examples/eq.lean
examples/example.lean
examples/exhaustion-naive.py
examples/exhaustion.py
examples/factorial.py
examples/fake-theorem.py
examples/gen-hacker.py
examples/hacker.txt
examples/liquid.lean
examples/nat.lean
examples/sqrt.py
examples/typechecking.c
examples/types.lean
examples/types.py
images/agda.eps
images/coq.png
images/kepler.eps
images/lean.eps
images/pentium.png
images/watchmen.eps
main.tex
preamble.tex