LEGO-Prover The is the official implementation of "LEGO-Prover: Neural Theorem Proving with Growing Libraries" News