← All repos

digama0/lean-type-theory

View on GitHub ↗ ★ 176 TeX

LaTeX code for a paper on lean's type theory

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2020-11-22 · latest 2025-08-03