Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
lean4
Lean 4 programming language and theorem prover
Other
Emerging
GitHub
Website
Stars
1
Forks
—
Contributors
8
Last push
4mo ago
Recent commits
Latest commits.
chore: fix ci after new linter was added (#12733)
a364595
Garmelon
4mo ago
chore: fix ci for new test suite (#12704)
08ab8bf
Garmelon
4mo ago
chore: update stage0
54df517
Lean stage0 autoupdater
4mo ago
chore: ensure test names differ by more than just case (#12729)
36ffba4
Garmelon
4mo ago
feat: extract simple array literals as static initializers (#12724)
2e9e5db
Henrik Böving
4mo ago
feat: boxed simple ground literal extraction (#12727)
81a5eb5
Henrik Böving
4mo ago
feat: lemmas about splitting the empty string/slice (#12725)
b4f768b
Markus Himmel
4mo ago
feat: lemmas for `String.split` by a character or character predicate (#12723)
9843794
Markus Himmel
4mo ago
Top contributors
Builders behind this project.
leodemoura
23.6K commits
Kha
4.9K commits
kim-em
1.4K commits
tydeu
1.1K commits
gebner
1K commits
soonhokong
826 commits
nomeata
577 commits
digama0
439 commits
