Skip to content

GitLab Next

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Boris Shminke
iprover

I

iprover

Project information

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

4,041 Commits
62 Branches
3 Tags
3 Releases
1 Environment

README
GNU General Public License v2.0 or later

Created on

September 30, 2022

Copy SSH clone URLgit@gitlab.com:inpefess/iprover.git
Copy HTTPS clone URLhttps://gitlab.com/inpefess/iprover.git