全部/科技/Lean / 日榜

GitHub · Lean / 日榜

13分钟前更新
HISTORY近 30 天历史柱高表示当天去重热搜数量
407
09/08—10/07 有历史数据
  • 01731
    cslib
    The Lean Computer Science Library (CSLib)leanprover
  • 02263
    Strata
    strata-org
  • 034232
    mathlib4
    The math library of Lean 4leanprover-community
  • 041308
    formal-conjectures
    A collection of formalized statements of conjectures in Lean.google-deepmind