wiio12 / LEGO-ProverLinks

Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
β˜†63Updated last year

Alternatives and similar repositories for LEGO-Prover

Users that are interested in LEGO-Prover are comparing it to the libraries listed below

Sorting: