所有者 · leanprover

leanprover

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

共 3 个项目

#1
lean4 ↗@leanproverLean
Lean 4 编程语言与定理证明器
★ 8,960+32近 7 天星标变化
#2
cslib ↗@leanproverLean
精益计算机科学库 (CSLib)
★ 695+17近 7 天星标变化
#3
elan ↗@leanproverRust
Lean 版本管理器
★ 618+8近 7 天星标变化

← 返回所有者排行