项目描述 ：
Nubo is a repository of interoperable formal proofs written in Dedukti.

高级语言： Makefile

项目主页：

项目地址: git://github.com/Deducteam/nubo.git

创建时间： 2021-02-25T11:07:36Z
项目社区：https://github.com/Deducteam/nubo
开源协议：
下载