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
fin1302.0Nat and Fin: peano naturals and finite numbers (bsd3, data, dependent-types, library, singletons)2019-07-07phadej