I

iprover

Project information

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

4,236 Commits
62 Branches
4 Tags
4 Releases
1 Environment

README

Created on

September 30, 2022

Loading