项目描述 ：
Repository with exercises in the subject Discrete Mathematics, that include formal logic.

高级语言： Lean

项目主页：

项目地址: git://github.com/lucasmoschen/discrete-mathematics.git

创建时间： 2019-09-02T17:14:14Z
项目社区：https://github.com/lucasmoschen/discrete-mathematics
开源协议：
下载