注册
登录
go
Isabelle-Spartan
返回
项目作者：
jaycech3n
项目描述 ：
A dependent type theory logic for Isabelle
高级语言：
Standard ML
项目主页：
项目地址:
git://github.com/jaycech3n/Isabelle-Spartan.git
创建时间：
2019-09-26T00:38:44Z
项目社区：
https://github.com/jaycech3n/Isabelle-Spartan
开源协议：
Other
下载
