The latest version of ordered is 0.1-1.
ordered
Version 0.1 revision 0 uploaded by MiguelPagano.
Package meta
- Synopsis
- A definition of Posets.
- Description
A library defining the notion of Poset.
- Author
- Nick Bowler, Miguel Pagano
- Bug reports
- n/a
- Category
- Mathematics
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- miguel.pagano@gmail.org
- Package URL
- n/a
- Stability
- experimental