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

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.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