The latest version of aern2-real is 0.2.16.1-0.

aern2-real

Version 0.2.14.1 revision 0 uploaded by MichalKonecny.

Package meta

Synopsis
Real numbers as convergent sequences of intervals
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-2023 Michal Konecny
Homepage
https://github.com/michalkonecny/aern2#readme
Maintainer
mikkonecny@gmail.com
Package URL
n/a
Stability
n/a

Components