擁有者 · agda

agda

agda 收錄中的開源專案，依星數排序。

共 3 個專案

#1
agda ↗@agdaHaskell
Agda 是一種依賴型編程語言 / 交互式定理證明器
★ 2,922+3近 7 天星數變化
#2
agda-stdlib ↗@agdaAgda
Agda 標準函式庫
★ 675+0近 7 天星數變化
#3
cubical ↗@agdaAgda
用於 Cubical Agda 的實驗性函式庫。
★ 567+0近 7 天星數變化

← 返回擁有者排行