Reference type checker for the Lean theorem prover - View it on GitHub