全部/科技/Lean / 周榜

GitHub · Lean / 周榜

13分钟前更新
HISTORY近 30 天历史柱高表示当天去重热搜数量
607
09/08—10/07 有历史数据
  • 011660
    mathlib3
    Lean 3's obsolete mathematical components library: please use mathlib4leanprover-community
  • 02731
    cslib
    The Lean Computer Science Library (CSLib)leanprover
  • 034232
    mathlib4
    The math library of Lean 4leanprover-community
  • 041039
    FLT
    Ongoing Lean formalisation of the proof of Fermat's Last TheoremImperialCollegeLondon
  • 059411
    lean4
    Lean 4 programming language and theorem proverleanprover
  • 06770
    physlib
    A project to digitalise results from physics into Lean.leanprover-community