El isomorfismo de Curry-Howard y una introducción a Coq.
Switch branches/tags
Nothing to show
Clone or download
Pull request Compare This branch is even with mroman42:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
CurryHoward.pdf
CurryHoward.tex
README.md
bussproofs.sty
by-sa.png
curryPres.pdf
curryPres.tex
lstcoq.sty

README.md

Curry-Howard

El isomorfismo de Curry-Howard y una introducción a Coq.