GitHub repository: leanprover/tc
Primary language: Haskell
Created: 2015-06-30T16:00:57Z
Description: Reference type checker for the Lean theorem prover