GitHub repository: xyzscience/ProverX
Created: 2021-08-30T08:38:47Z
Description: ProverX is a logic prover, which explores all possible machine-learning algorithms to do theorem proving.