chuanyang-Zheng / Lyra-theorem-proverLinks

The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
16Updated 11 months ago

Alternatives and similar repositories for Lyra-theorem-prover

Users that are interested in Lyra-theorem-prover are comparing it to the libraries listed below

Sorting: