eprover

Automated theorem prover for full first-order logic with equality

Build failed; an explicit retry is required.

Failure log · 13 Sep 23:27 · This campaign

Planning log · 13 Sep 23:00 · This campaign