RepoStreet
leanprover

leanprover/lean4

steady

Lean 4 programming language and theorem prover

Stars
9,247
Forks
994
Open issues
1,007
24h
+26
+0.3%
7d
+145
+1.6%
Refresh
1h

Star history (7 days)

Last checked
1h ago
Last pushed
1h ago
Next check
1m ago