The latest version of aern2-real is 0.2.16.1-0.
aern2-real
Version 0.2.8.0 revision 0 uploaded by MichalKonecny.
Package meta
- Synopsis
- Real numbers as sequences of MPBalls
- Description
Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme
- Author
- Michal Konecny
- Bug reports
- https://github.com/michalkonecny/aern2/issues
- Category
- Math
- Copyright
- 2015-2021 Michal Konecny
- Homepage
- https://github.com/michalkonecny/aern2#readme
- Maintainer
- mikkonecny@gmail.com
- Package URL
- n/a
- Stability
- n/a