staruml OrdinalNotations 返回
项目作者： cj-xu

项目描述 ：
An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions
高级语言： Agda
项目地址: git://github.com/cj-xu/OrdinalNotations.git
创建时间： 2019-04-18T20:22:58Z
项目社区：https://github.com/cj-xu/OrdinalNotations
开源协议：GNU General Public License v3.0
下载