Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
https://github.com/lean-dojo/ReProver
lean machine-learning theorem-proving
Last synced: about 1 month ago
JSON representation
Retrieval-Augmented Theorem Provers for Lean
- Host: GitHub
- URL: https://github.com/lean-dojo/ReProver
- Owner: lean-dojo
- License: mit
- Created: 2023-03-16T19:23:13.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-04-12T04:21:47.000Z (5 months ago)
- Last Synced: 2024-04-13T01:22:49.235Z (5 months ago)
- Topics: lean, machine-learning, theorem-proving
- Language: Python
- Homepage: https://leandojo.org
- Size: 1.65 MB
- Stars: 158
- Watchers: 8
- Forks: 27
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE