Nanoda: Type checker for the Lean theorem prover in Rustgithub.com/ammkrn1 pointadamnemecek7 years ago