项目作者: marcielleal

项目描述 :
Solutions of problems of Computational logic's course in Lean
高级语言: Lean
项目地址: git://github.com/marcielleal/LogicProblems.git
创建时间: 2017-03-22T17:34:15Z
项目社区:https://github.com/marcielleal/LogicProblems

开源协议:GNU General Public License v3.0

下载