Loreon
Labs
Platform
Docs
Home
Ecosystems
Python
ReProver
Retrieval-Augmented Theorem Provers for Lean
Python
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
2
Last push
26mo ago
Recent commits
Latest commits.
Update README.md
f705b0b
Kaiyu Yang
29mo ago
Update README.md
aae0b36
Kaiyu Yang
29mo ago
Update README.md
3aaf63c
Kaiyu Yang
30mo ago
Merge pull request #39 from lean-dojo/dev
43fbfe6
Kaiyu Yang
30mo ago
Merge pull request #38 from lean-dojo/main
6e735a9
Kaiyu Yang
30mo ago
Merge pull request #37 from lean-dojo/dev
efe349e
Kaiyu Yang
31mo ago
remove tree from SearchResult for efficiency
5a84be1
Kaiyu Yang
31mo ago
Merge pull request #36 from lean-dojo/dev
1fdcfe2
Kaiyu Yang
31mo ago
Top contributors
Builders behind this project.
irene622
2 commits
antonkov
1 commits
