所有者 · agda

agda

agda 收录中的开源项目，按星标数排序。

共 3 个项目

#1
agda ↗@agdaHaskell
Agda 是一种依赖型编程语言 / 交互式定理证明器
★ 2,922+0近 7 天星标变化
#2
agda-stdlib ↗@agdaAgda
Agda 标准库
★ 674-1近 7 天星标变化
#3
cubical ↗@agdaAgda
用于 Cubical Agda 的实验性库。
★ 567+0近 7 天星标变化

← 返回所有者排行