curry-howard

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

Diffstat

1 file changed, 1 insertion, 1 deletion

diff --git a/main.tex b/main.tex
@@ -3,7 +3,7 @@
 
 \definecolor{hacker}{RGB}{4,165,90}
 
-\title{Como provar teoremas um computador?}
+\title{Como provar teoremas em um computador?}
 \author{Pablo \\ \texttt{pablopie.xyz}}
 \date{Outubro de 2022}