curry-howard

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

git clone: git://git.pablopie.xyz/curry-howard
Log
Files
Refs
README
LICENSE

Commit: a8575ed6bb2b61c341159bdca7d19016d02a9cb3
Parent: 4534b16417a9856acf686ce85c3b75fefa81e3cf
Author: Pablo <pablo-escobar@riseup.net>
Date: Thu, 13 Oct 2022 20:06:23 +0000

Fixed some typos

Also removed unnecessary whitespace

Diffstat

1 file changed, 3 insertions, 3 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	main.tex	6	3	3

diff --git a/main.tex b/main.tex
@@ -286,7 +286,7 @@
 
 \begin{frame}{A Correspondência de Curry-Howard}
   \begin{itemize}
-    \item Aximas!
+    \item Axiomas!
       \begin{itemize}
         \item Dados \(x\) e \(y\), existe o tipo \texttt{x = y} das provas de
           que \(x = y\)
@@ -365,7 +365,7 @@
         \item
           \href{https://leanprover-community.github.io/mathlib-overview.html}{mathlib}
           \begin{itemize}
-            \item Algebra abstrata
+            \item Álgebra abstrata
 
             \item Topologia
 
@@ -437,7 +437,7 @@
       \href{https://www.youtube.com/watch?v=T9ZqbQh-t9E}
            {Machine-Assisted Proofs}
 
-    \item 
+    \item
       \href{https://www.nature.com/articles/s41586-021-04086-x}
            {Advancing mathematics by guiding human intuition with AI}