Mtl Ts | Lensstateisyourfather | |
---|---|---|
Stars | 10 | 10 |
Downloads | ||
Dependent Packages | 2 | |
Dependent Repos | ||
Most Recent Commit | 6 years ago | 6 years ago |
Total Releases | 2 | |
Latest Release | February 16, 2018 | |
Open Issues | ||
License | mit | apache-2.0 |
Programming Language | TypeScript | Coq |