GitHub repository: AndrasKovacs/smalltt
Primary language: Lean
Created: 2017-11-26T16:30:05Z
Description: Demo for high-performance type theory elaboration