项目描述 ：
HLM mathematical library for the Slate interactive theorem prover

高级语言： Shell

项目主页： https://sreichelt.github.io/slate

项目地址: git://github.com/SReichelt/slate-hlm.git

创建时间： 2019-02-17T10:01:15Z
项目社区：https://github.com/SReichelt/slate-hlm
开源协议：Other
下载