擁有者 · leanprover

leanprover

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

共 3 個專案

#1
lean4 ↗@leanproverLean
Lean 4 程式語言與定理證明器
★ 8,960+32近 7 天星數變化
#2
cslib ↗@leanproverLean
精實電腦科學圖書館 (CSLib)
★ 691+13近 7 天星數變化
#3
elan ↗@leanproverRust
Lean 版本管理器
★ 614+7近 7 天星數變化

← 返回擁有者排行