GitHub - digama0/lean-type-theory: LaTeX code for a paper on lean's type theory · GitHub

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Wtypes.tex		Wtypes.tex
axioms.tex		axioms.tex
compilation.tex		compilation.tex
intro.tex		intro.tex
lstlean.tex		lstlean.tex
main.tex		main.tex
normalization.tex		normalization.tex
soundness.tex		soundness.tex
test.tex		test.tex
typesys.tex		typesys.tex
unique.tex		unique.tex

About

LaTeX code for a paper on lean's type theory

170 stars

4 watching

Report repository

Releases

Packages

Used by

Contributors

Languages