/smalltt

Demo for high-performance type theory elaboration

Primary LanguageLeanMIT LicenseMIT

Watchers