minitt (cargo): Mini-TT, a dependently-typed lambda calculus, extended and (re)implemented in Rust
Keywords: dependent-types|programming-language|type-theory