数学机械化自动推理平台

 

 

如果您在使用软件的过程种遇到问题,请与我们联系!

mmsoft@mmrc.iss.ac.cn

 

 

国家基础研究发展规划项目

"数学机械化与自动推理平台"

软件开发课题组