← All repos

AndrasKovacs/smalltt

View on GitHub ↗ ★ 611 Lean

Demo for high-performance type theory elaboration

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2020-01-20 · latest 2022-09-14