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

digama0 / lean-type-theory Public

Notifications You must be signed in to change notification settings
Fork 6
Star 163

LaTeX code for a paper on lean's type theory

163 stars 6 forks Branches Tags Activity

Notifications

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