digama0 / lean-type-theory

LaTeX code for a paper on lean's type theory
119Updated 2 years ago

Related projects

Alternatives and complementary repositories for lean-type-theory