Xedge HOL-Probability 返回
项目作者： binghe

项目描述 ：
Measure, Lebesgue and Probability Theory for HOL4 (experimental version)
高级语言： Standard ML
项目地址: git://github.com/binghe/HOL-Probability.git
创建时间： 2019-08-13T12:25:07Z
项目社区：https://github.com/binghe/HOL-Probability
开源协议：
下载