由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

category-theory

话题找到数量

hmemcpy/milewski-ctfp-pdf

TeX

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

category-theory cpp functional-programming
hmemcpy
hmemcpy 开发者
11k
643
1.7k
排名 #6
9月6日
查看详情

rzk-lang/rzk

Haskell

基于合成 ∞ 范畴类型论的实验证明助手。

category-theory haskell homotopy-type-theory
rzk-lang
rzk-lang 开发者
304
33
766
+6
排名 #4
10月4日
查看详情
助手