GitHub repository: vmarkushin/dtlc
Primary language: Rust
Description: Dependently Typed Lambda Calculus