chuanyang-Zheng/Lyra-theorem-prover
The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
PythonApache-2.0
The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
PythonApache-2.0