GitHub - ssomayyajula/stlc: Everything about the simply-typed lambda calculus in Lean

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
checking.lean		checking.lean
leanpkg.toml		leanpkg.toml
partial_fun.lean		partial_fun.lean
semantics.lean		semantics.lean
soundness.lean		soundness.lean
syntax.lean		syntax.lean
typing.lean		typing.lean