注册
登录
精益
agda-extras
返回
项目作者:
mlyean
项目描述 :
Extra stuff (mostly math) for Agda.
高级语言:
Agda
项目主页:
项目地址:
git://github.com/mlyean/agda-extras.git
创建时间:
2020-06-08T08:21:06Z
项目社区:
https://github.com/mlyean/agda-extras
开源协议:
下载