数学开源项目点评

UniMath

Coq

这个coq库的目的是用单价的观点来形式化大量的数学作品。

fork
146
star
796