bafain/OrdinalNotations
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
AgdaGPL-3.0
No issues in this repository yet.
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
AgdaGPL-3.0
No issues in this repository yet.