{"action":"created","issue":{"url":"https://api.github.com/repos/spechub/Hets/issues/1707","repository_url":"https://api.github.com/repos/spechub/Hets","labels_url":"https://api.github.com/repos/spechub/Hets/issues/1707/labels{/name}","comments_url":"https://api.github.com/repos/spechub/Hets/issues/1707/comments","events_url":"https://api.github.com/repos/spechub/Hets/issues/1707/events","html_url":"https://github.com/spechub/Hets/pull/1707","id":232615639,"number":1707,"title":"Complete TPTP support","user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars3.githubusercontent.com/u/339751?v=4","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":31,"created_at":"2017-05-31T16:02:32Z","updated_at":"2017-08-16T16:05:30Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/spechub/Hets/pulls/1707","html_url":"https://github.com/spechub/Hets/pull/1707","diff_url":"https://github.com/spechub/Hets/pull/1707.diff","patch_url":"https://github.com/spechub/Hets/pull/1707.patch"},"body":"This adds the TPTP logic with prover support. It supports the whole TPTP syntax, including CNF, FOF, TFF and THF."},"comment":{"url":"https://api.github.com/repos/spechub/Hets/issues/comments/322820188","html_url":"https://github.com/spechub/Hets/pull/1707#issuecomment-322820188","issue_url":"https://api.github.com/repos/spechub/Hets/issues/1707","id":322820188,"user":{"login":"mcodescu","id":1632930,"avatar_url":"https://avatars1.githubusercontent.com/u/1632930?v=4","gravatar_id":"","url":"https://api.github.com/users/mcodescu","html_url":"https://github.com/mcodescu","followers_url":"https://api.github.com/users/mcodescu/followers","following_url":"https://api.github.com/users/mcodescu/following{/other_user}","gists_url":"https://api.github.com/users/mcodescu/gists{/gist_id}","starred_url":"https://api.github.com/users/mcodescu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mcodescu/subscriptions","organizations_url":"https://api.github.com/users/mcodescu/orgs","repos_url":"https://api.github.com/users/mcodescu/repos","events_url":"https://api.github.com/users/mcodescu/events{/privacy}","received_events_url":"https://api.github.com/users/mcodescu/received_events","type":"User","site_admin":false},"created_at":"2017-08-16T16:05:30Z","updated_at":"2017-08-16T16:05:30Z","body":"With EProver:\r\n\r\n```\r\neprover: /tmp/COL001-1.p_COL001-1.p_prove_fixed_point5965166491189641421.tptp:9:(Column 24):(just read 'conjecture'): Identifier (axiom|definition|theorem|assumption|hypothesis|negated_conjecture|lemma|unknown|plain|watchlist) expected, but Identifier not terminating in a number('conjecture') read \r\n```"}}
{"actor":{"display_login":"mcodescu"}}