Search

Find trending repositories by name or description.

2 results for “lean4”

RankRepositoryStars24h gainScore

leanprover/lean4

Public

Lean 4 programming language and theorem prover

LeanApache-2.01.1k forks+8 todayTrending #16474

Stars9.9k24h gain+8Score0.0

Public

Lean 4 theorem proving skill and workflow pack for AI coding agents

PythonMIT48 forks+1 todayTrending #36566

Stars48324h gain+1Score0.0