phase / dtt

experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
23Updated 8 months ago

Related projects

Alternatives and complementary repositories for dtt