/Lyra-theorem-prover

The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"

Primary LanguagePythonApache License 2.0Apache-2.0

Stargazers