Packages tagged singletons
1 package has this tag.
[Merge tag] (trustees only)Related tags: bsd3 (1), data (1), dependent-types (1), library (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| fin | 130 | 2.0 | Nat and Fin: peano naturals and finite numbers | (bsd3, data, dependent-types, library, singletons) | 2019-07-07 | phadej |