krr / IDP / issues / #25 - [Theorem proving] TPTP web service — Bitbucket

Issue #25 invalid

Bart Bogaerts created an issue 2011-12-08

Support theorem proving via the tptp webservice, a uniform call layer to lots of theorem provers.

Comments (1)

Broes De Cat
- changed status to invalid
TPTP host lijkt dit idee af te raden op de webpage zelf.
- 2012-05-03T15:41:33+00:00
Log in to comment

Assignee: –

Type: proposal

Priority: major

Status: invalid

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!