全部/科技/Lean / 月榜

GitHub · Lean / 月榜

13分钟前更新
HISTORY近 30 天历史柱高表示当天去重热搜数量
1207
09/08—10/07 有历史数据
  • 019411
    lean4
    Lean 4 programming language and theorem proverleanprover
  • 024232
    mathlib4
    The math library of Lean 4leanprover-community
  • 03420
    batteries
    The "batteries included" extended library for the Lean programming language and theorem proverleanprover-community
  • 04112
    quote4
    Intuitive, type-safe expression quotations for Lean 4.leanprover-community
  • 0528
    import-graph
    Tool to analyse the import structure of lean projects.leanprover-community
  • 06407
    aesop
    White-box automation for Lean 4leanprover-community
  • 07228
    ProofWidgets4
    Helper toolkit for creating your own Lean 4 UserWidgetsleanprover-community
  • 0838
    LeanSearchClient
    Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)leanprover-community
  • 09117
    plausible
    leanprover-community
  • 10122
    lean4-cli
    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.leanprover
  • 111308
    formal-conjectures
    A collection of formalized statements of conjectures in Lean.google-deepmind
  • 12731
    cslib
    The Lean Computer Science Library (CSLib)leanprover