Address: [go: up one dir, main page]

Remove Scripts Show Referer Rotate13 Base64 Strip Meta Strip Title

Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

I

iprover CI/CD Catalog (unpublished)

Project information

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

theorem proving AI verification Model Checking SMT TPTP QBF DQBF aig logic reasoning

4,236 Commits
86 Branches
4 Tags

README

Created on

October 06, 2015

Loading