Registered
by
Ohad Kammar
Takeuti's ordinal diagrams are one of the most powerful systems for denoting countable ordinals. This is an implementation of Dershowitz's simplification of ordinal diagrams.
Project information
- Maintainer:
- Ohad Kammar
- Driver:
- Ohad Kammar
- Licence:
-
Other/Open Source
(Attribution-NonCommercial 4.0 International https://creativecommons.org/licenses/by-nc/4.0/ https://creativecommons.org/licenses/by-nc/4.0/legalcode)
- This project’s licence has not been reviewed.
View full history Series and milestones
trunk series is the current focus of development.
