Packages tagged type-theory
1 package has this tag.
[Merge tag] (trustees only)Related tags: ast (1), bsd3 (1), educational (1), lambda-cube (1), library (1), typechecking (1), typesystems (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
typerbole | 11 | 0.0 | 1 | A typesystems library with exaggerated claims | (ast, bsd3, educational, lambda-cube, library, type-theory, typechecking, typesystems) | 2016-07-27 | Lokidottir |