精益 agda-algebras 返回
项目作者： ualib

项目描述 ：
The Agda Universal Algebra Library (html docs available at the url below)
高级语言： Agda
项目地址: git://github.com/ualib/agda-algebras.git
创建时间： 2021-04-22T11:21:25Z
项目社区：https://github.com/ualib/agda-algebras
开源协议：Creative Commons Attribution Share Alike 4.0 International
下载


cc-by_1647992496088.pdf
lipics-logo-bw_1647992496161.pdf
orcid_1647992496205.pdf
cc-by_1647992496291.pdf
lipics-logo-bw_1647992496328.pdf
orcid_1647992496337.pdf
agda-algebras-arXiv-30Nov2021_1647992496366.pdf
lipics-logo-bw_1647992496418.pdf
orcid_1647992496512.pdf