项目描述 ：
Learning formal proofs in mathematics/computer science/logic by formalizing them in the Agda language. A project I am working on in my free time.

高级语言： Agda

项目主页：

项目地址: git://github.com/Lolirofle/stuff-in-agda.git

创建时间： 2017-10-30T22:42:20Z
项目社区：https://github.com/Lolirofle/stuff-in-agda
开源协议：MIT License
下载