Ordinals
Version 0.0.0.2 revision 0 uploaded by KiYungAhn.
Package meta
- Synopsis
- Ordinal arithmetic
- Description
Ordinal arithmetic implementation up to epsilon_0. Currently based on interated multiset representation, planning to add CNF based implenetation.
- Author
- Ki Yung Ahn
- Bug reports
- n/a
- Category
- Math
- Copyright
- n/a
- Homepage
- http://patch-tag.com/r/kyagrd/Ordinals/
- Maintainer
- kya@pdx.edu
- Package URL
- n/a
- Stability
- n/a