RepoStreet
leanprover

leanprover/lean4

steady

Lean 4 programming language and theorem prover

Stars
8,343
Forks
887
Open issues
935
24h
+3
+0.0%
7d
+40
+0.5%
Refresh
1h

Star history (7 days)

Last checked
27m ago
Last pushed
41m ago
Next check
just now