{"action":"created","issue":{"url":"https://api.github.com/repos/philipl/pifs/issues/53","repository_url":"https://api.github.com/repos/philipl/pifs","labels_url":"https://api.github.com/repos/philipl/pifs/issues/53/labels{/name}","comments_url":"https://api.github.com/repos/philipl/pifs/issues/53/comments","events_url":"https://api.github.com/repos/philipl/pifs/issues/53/events","html_url":"https://github.com/philipl/pifs/issues/53","id":306189202,"node_id":"MDU6SXNzdWUzMDYxODkyMDI=","number":53,"title":"Unit test that proves pi is normal","user":{"login":"vhag","id":26203410,"node_id":"MDQ6VXNlcjI2MjAzNDEw","avatar_url":"https://avatars0.githubusercontent.com/u/26203410?v=4","gravatar_id":"","url":"https://api.github.com/users/vhag","html_url":"https://github.com/vhag","followers_url":"https://api.github.com/users/vhag/followers","following_url":"https://api.github.com/users/vhag/following{/other_user}","gists_url":"https://api.github.com/users/vhag/gists{/gist_id}","starred_url":"https://api.github.com/users/vhag/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vhag/subscriptions","organizations_url":"https://api.github.com/users/vhag/orgs","repos_url":"https://api.github.com/users/vhag/repos","events_url":"https://api.github.com/users/vhag/events{/privacy}","received_events_url":"https://api.github.com/users/vhag/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-03-17T20:48:45Z","updated_at":"2018-07-20T21:01:55Z","closed_at":null,"author_association":"NONE","body":"The README says that\r\n>One of the properties that π is conjectured to have is that it is normal, which is to say that its digits are all distributed evenly, with the implication that it is a disjunctive sequence, meaning that all possible finite sequences of digits will be present somewhere in it.\r\n\r\nMy organisation requires all software to be formally proved to *always* give the correct output. The fact that it is conjectured is not enough. Please add a unit test that proves the normality of pi."},"comment":{"url":"https://api.github.com/repos/philipl/pifs/issues/comments/406726075","html_url":"https://github.com/philipl/pifs/issues/53#issuecomment-406726075","issue_url":"https://api.github.com/repos/philipl/pifs/issues/53","id":406726075,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNjcyNjA3NQ==","user":{"login":"jeffli678","id":3380590,"node_id":"MDQ6VXNlcjMzODA1OTA=","avatar_url":"https://avatars2.githubusercontent.com/u/3380590?v=4","gravatar_id":"","url":"https://api.github.com/users/jeffli678","html_url":"https://github.com/jeffli678","followers_url":"https://api.github.com/users/jeffli678/followers","following_url":"https://api.github.com/users/jeffli678/following{/other_user}","gists_url":"https://api.github.com/users/jeffli678/gists{/gist_id}","starred_url":"https://api.github.com/users/jeffli678/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeffli678/subscriptions","organizations_url":"https://api.github.com/users/jeffli678/orgs","repos_url":"https://api.github.com/users/jeffli678/repos","events_url":"https://api.github.com/users/jeffli678/events{/privacy}","received_events_url":"https://api.github.com/users/jeffli678/received_events","type":"User","site_admin":false},"created_at":"2018-07-20T21:01:55Z","updated_at":"2018-07-20T21:01:55Z","author_association":"NONE","body":"I have it. Github is simply not enough space to host the proof. "}}
{"actor":{"display_login":"jeffli678"}}