korovin/iprover

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

Last synced at: about 2 years ago - Stars: 4 - Forks: 5