Uyuanma
搜索
登录
首页
»
Coq
»
数学
数学(Mathematics)
数学是一个知识领域,包括诸如数字、公式和相关结构、形状和它们所包含的空间,以及数量及其变化等主题。
数学开源项目点评
Coq x
UniMath
Coq
这个coq库的目的是用单价的观点来形式化大量的数学作品。
fork
146
star
796
查看点评
源码
筛选
Language
Python
(2)
JavaScript
(2)
Smalltalk
(1)
Coq
(1) >
MATLAB
(1)
C
(1)
C++
(1)
TeX
(1)
Java
(1)
HTML
(1)
TypeScript
(1)
License
MIT
(6)
GPL-3.0
(2)
Apache-2.0
(2)
CC-BY-SA-4.0
(1)
NOASSERTION
(1)
相关类别
Python
机器学习
JavaScript
统计数据
数据科学
深度学习
算法
数据结构
C++
C