haoyuzhao123 / LeanIneqCompLinks
An inequality benchmark for theorem proving
☆20Updated 3 months ago
Alternatives and similar repositories for LeanIneqComp
Users that are interested in LeanIneqComp are comparing it to the libraries listed below
Sorting:
- ☆68Updated last year
- ☆15Updated 10 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"