{"action":"opened","number":13,"pull_request":{"url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/13","id":203080685,"node_id":"MDExOlB1bGxSZXF1ZXN0MjAzMDgwNjg1","html_url":"https://github.com/DeepSpec/InteractionTrees/pull/13","diff_url":"https://github.com/DeepSpec/InteractionTrees/pull/13.diff","patch_url":"https://github.com/DeepSpec/InteractionTrees/pull/13.patch","issue_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/13","number":13,"state":"open","locked":false,"title":"Converting interaction trees to up-to definitions","user":{"login":"gmalecha","id":304471,"node_id":"MDQ6VXNlcjMwNDQ3MQ==","avatar_url":"https://avatars1.githubusercontent.com/u/304471?v=4","gravatar_id":"","url":"https://api.github.com/users/gmalecha","html_url":"https://github.com/gmalecha","followers_url":"https://api.github.com/users/gmalecha/followers","following_url":"https://api.github.com/users/gmalecha/following{/other_user}","gists_url":"https://api.github.com/users/gmalecha/gists{/gist_id}","starred_url":"https://api.github.com/users/gmalecha/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gmalecha/subscriptions","organizations_url":"https://api.github.com/users/gmalecha/orgs","repos_url":"https://api.github.com/users/gmalecha/repos","events_url":"https://api.github.com/users/gmalecha/events{/privacy}","received_events_url":"https://api.github.com/users/gmalecha/received_events","type":"User","site_admin":false},"body":"- the `upto` function defines a finite approximation of\r\n  an interaction tree.\r\n- it should be the case that if you prove something for all\r\n  finite approximations (i.e. `forall n, P (upto n it)`, then\r\n  it (appropriately converted) should also hold for the infinite\r\n  interaction tree.\r\n- This is the standard connection between bisimulation and\r\n  step-indexing.","created_at":"2018-07-22T22:33:00Z","updated_at":"2018-07-22T22:33:00Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/13/commits","review_comments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/13/comments","review_comment_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/comments{/number}","comments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/13/comments","statuses_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/statuses/d4cc779ecb60c3ea052838f2a9bf3b7df2554c96","head":{"label":"DeepSpec:semantic-styles","ref":"semantic-styles","sha":"d4cc779ecb60c3ea052838f2a9bf3b7df2554c96","user":{"login":"DeepSpec","id":15218901,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE1MjE4OTAx","avatar_url":"https://avatars1.githubusercontent.com/u/15218901?v=4","gravatar_id":"","url":"https://api.github.com/users/DeepSpec","html_url":"https://github.com/DeepSpec","followers_url":"https://api.github.com/users/DeepSpec/followers","following_url":"https://api.github.com/users/DeepSpec/following{/other_user}","gists_url":"https://api.github.com/users/DeepSpec/gists{/gist_id}","starred_url":"https://api.github.com/users/DeepSpec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DeepSpec/subscriptions","organizations_url":"https://api.github.com/users/DeepSpec/orgs","repos_url":"https://api.github.com/users/DeepSpec/repos","events_url":"https://api.github.com/users/DeepSpec/events{/privacy}","received_events_url":"https://api.github.com/users/DeepSpec/received_events","type":"Organization","site_admin":false},"repo":{"id":138210180,"node_id":"MDEwOlJlcG9zaXRvcnkxMzgyMTAxODA=","name":"InteractionTrees","full_name":"DeepSpec/InteractionTrees","owner":{"login":"DeepSpec","id":15218901,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE1MjE4OTAx","avatar_url":"https://avatars1.githubusercontent.com/u/15218901?v=4","gravatar_id":"","url":"https://api.github.com/users/DeepSpec","html_url":"https://github.com/DeepSpec","followers_url":"https://api.github.com/users/DeepSpec/followers","following_url":"https://api.github.com/users/DeepSpec/following{/other_user}","gists_url":"https://api.github.com/users/DeepSpec/gists{/gist_id}","starred_url":"https://api.github.com/users/DeepSpec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DeepSpec/subscriptions","organizations_url":"https://api.github.com/users/DeepSpec/orgs","repos_url":"https://api.github.com/users/DeepSpec/repos","events_url":"https://api.github.com/users/DeepSpec/events{/privacy}","received_events_url":"https://api.github.com/users/DeepSpec/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/DeepSpec/InteractionTrees","description":"Formalization of the Interaction Tree Datatype in Coq","fork":false,"url":"https://api.github.com/repos/DeepSpec/InteractionTrees","forks_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/forks","keys_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/keys{/key_id}","collaborators_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/teams","hooks_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/hooks","issue_events_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/events{/number}","events_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/events","assignees_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/assignees{/user}","branches_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/branches{/branch}","tags_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/tags","blobs_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/refs{/sha}","trees_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/trees{/sha}","statuses_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/statuses/{sha}","languages_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/languages","stargazers_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/stargazers","contributors_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/contributors","subscribers_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/subscribers","subscription_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/subscription","commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/commits{/sha}","git_commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/commits{/sha}","comments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/comments{/number}","issue_comment_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/comments{/number}","contents_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/contents/{+path}","compare_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/compare/{base}...{head}","merges_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/merges","archive_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/downloads","issues_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues{/number}","pulls_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls{/number}","milestones_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/milestones{/number}","notifications_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/labels{/name}","releases_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/releases{/id}","deployments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/deployments","created_at":"2018-06-21T18:53:18Z","updated_at":"2018-07-22T02:12:10Z","pushed_at":"2018-07-22T22:32:43Z","git_url":"git://github.com/DeepSpec/InteractionTrees.git","ssh_url":"git@github.com:DeepSpec/InteractionTrees.git","clone_url":"https://github.com/DeepSpec/InteractionTrees.git","svn_url":"https://github.com/DeepSpec/InteractionTrees","homepage":null,"size":72,"stargazers_count":2,"watchers_count":2,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":2,"mirror_url":null,"archived":false,"open_issues_count":5,"license":null,"forks":2,"open_issues":5,"watchers":2,"default_branch":"master"}},"base":{"label":"DeepSpec:master","ref":"master","sha":"1db47375ec0dd73529c21a9511fcc659e9c4a66a","user":{"login":"DeepSpec","id":15218901,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE1MjE4OTAx","avatar_url":"https://avatars1.githubusercontent.com/u/15218901?v=4","gravatar_id":"","url":"https://api.github.com/users/DeepSpec","html_url":"https://github.com/DeepSpec","followers_url":"https://api.github.com/users/DeepSpec/followers","following_url":"https://api.github.com/users/DeepSpec/following{/other_user}","gists_url":"https://api.github.com/users/DeepSpec/gists{/gist_id}","starred_url":"https://api.github.com/users/DeepSpec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DeepSpec/subscriptions","organizations_url":"https://api.github.com/users/DeepSpec/orgs","repos_url":"https://api.github.com/users/DeepSpec/repos","events_url":"https://api.github.com/users/DeepSpec/events{/privacy}","received_events_url":"https://api.github.com/users/DeepSpec/received_events","type":"Organization","site_admin":false},"repo":{"id":138210180,"node_id":"MDEwOlJlcG9zaXRvcnkxMzgyMTAxODA=","name":"InteractionTrees","full_name":"DeepSpec/InteractionTrees","owner":{"login":"DeepSpec","id":15218901,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE1MjE4OTAx","avatar_url":"https://avatars1.githubusercontent.com/u/15218901?v=4","gravatar_id":"","url":"https://api.github.com/users/DeepSpec","html_url":"https://github.com/DeepSpec","followers_url":"https://api.github.com/users/DeepSpec/followers","following_url":"https://api.github.com/users/DeepSpec/following{/other_user}","gists_url":"https://api.github.com/users/DeepSpec/gists{/gist_id}","starred_url":"https://api.github.com/users/DeepSpec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DeepSpec/subscriptions","organizations_url":"https://api.github.com/users/DeepSpec/orgs","repos_url":"https://api.github.com/users/DeepSpec/repos","events_url":"https://api.github.com/users/DeepSpec/events{/privacy}","received_events_url":"https://api.github.com/users/DeepSpec/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/DeepSpec/InteractionTrees","description":"Formalization of the Interaction Tree Datatype in Coq","fork":false,"url":"https://api.github.com/repos/DeepSpec/InteractionTrees","forks_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/forks","keys_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/keys{/key_id}","collaborators_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/teams","hooks_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/hooks","issue_events_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/events{/number}","events_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/events","assignees_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/assignees{/user}","branches_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/branches{/branch}","tags_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/tags","blobs_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/refs{/sha}","trees_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/trees{/sha}","statuses_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/statuses/{sha}","languages_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/languages","stargazers_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/stargazers","contributors_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/contributors","subscribers_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/subscribers","subscription_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/subscription","commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/commits{/sha}","git_commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/commits{/sha}","comments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/comments{/number}","issue_comment_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/comments{/number}","contents_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/contents/{+path}","compare_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/compare/{base}...{head}","merges_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/merges","archive_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/downloads","issues_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues{/number}","pulls_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls{/number}","milestones_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/milestones{/number}","notifications_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/labels{/name}","releases_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/releases{/id}","deployments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/deployments","created_at":"2018-06-21T18:53:18Z","updated_at":"2018-07-22T02:12:10Z","pushed_at":"2018-07-22T22:32:43Z","git_url":"git://github.com/DeepSpec/InteractionTrees.git","ssh_url":"git@github.com:DeepSpec/InteractionTrees.git","clone_url":"https://github.com/DeepSpec/InteractionTrees.git","svn_url":"https://github.com/DeepSpec/InteractionTrees","homepage":null,"size":72,"stargazers_count":2,"watchers_count":2,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":2,"mirror_url":null,"archived":false,"open_issues_count":5,"license":null,"forks":2,"open_issues":5,"watchers":2,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/13"},"html":{"href":"https://github.com/DeepSpec/InteractionTrees/pull/13"},"issue":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/13"},"comments":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/13/comments"},"review_comments":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/13/comments"},"review_comment":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls/13/commits"},"statuses":{"href":"https://api.github.com/repos/DeepSpec/InteractionTrees/statuses/d4cc779ecb60c3ea052838f2a9bf3b7df2554c96"}},"author_association":"COLLABORATOR","merged":false,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"maintainer_can_modify":false,"commits":2,"additions":103,"deletions":0,"changed_files":2}}
{"actor":{"display_login":"gmalecha"}}