Python
A verification tool that helps LLMs prove statements. A Lean prover and LLMs cooperate to find a proof.
Latest commits.
Builders behind this project.
