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: c8a566f95d4bb59ed596af1cb66b52dd5da36b15
Parent: a93d8c580498832e4fc97167d6e1e9ad2094fe38
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 20:58:22 +0000

Added changed the title of some of the slides

Diffstat

1 file changed, 2 insertions, 6 deletions

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

diff --git a/main.tex b/main.tex
@@ -104,7 +104,7 @@
   \end{columns}
 \end{frame}
 
-\begin{frame}[fragile]{Métodos Não-Numéricos?}
+\begin{frame}[fragile]{Como provar teoremas em um computador?}
   \begin{itemize}
     \item Antes de tentar provar meu teorema, eu preciso enunciar ele\dots
   \end{itemize}
@@ -169,7 +169,7 @@
   \end{figure}
 \end{frame}
 
-\begin{frame}[fragile]{Métodos Não-Numéricos?}
+\begin{frame}[fragile]{Como provar teoremas um computador?}
   \begin{itemize}
     \item Objection!
   \end{itemize}
@@ -210,8 +210,6 @@
   \end{itemize}
 \end{frame}
 
-\subsection{A Correspondência de Curry-Howard}
-
 \begin{frame}{A Correspondência de Curry-Howard}
   \begin{center}
     \begin{tabular}{rcl}
@@ -416,8 +414,6 @@
   \end{itemize}
 \end{frame}
 
-\subsection{Aplicações}
-
 \begin{frame}{Pra que tudo isso?}
   \begin{columns}
     \begin{column}[t]{.65\linewidth}