Loreon
Labs
Platform
Docs
Home
Ecosystems
TeX
ProofNet-lean4
ProofNet dataset ported into Lean 4
TeX
Emerging
GitHub
Stars
—
Forks
—
Contributors
4
Last push
13mo ago
Recent commits
Latest commits.
Bump to v4.19.0
c1b1089
Marcin Wrochna
13mo ago
Bump to 4.19.0 rc2
5365b5e
Marcin Wrochna
14mo ago
Add val-test split as json.
98d0e33
Marcin Wrochna
15mo ago
Update README and authors in license.
0bec53d
Marcin Wrochna
15mo ago
Bump to lean 4.10.
f29543f
Marcin Wrochna
15mo ago
delete
ca33c1a
杨骁文
21mo ago
update lakefile
ed26f7e
杨骁文
21mo ago
rename all the exercise
e5e4856
杨骁文
21mo ago
Top contributors
Builders behind this project.
rahul3613
7 commits
marcinwrochna
5 commits
Abhijit-niser
1 commits
pitmonticone
1 commits
