{"action":"created","issue":{"url":"https://api.github.com/repos/metamath/set.mm/issues/476","repository_url":"https://api.github.com/repos/metamath/set.mm","labels_url":"https://api.github.com/repos/metamath/set.mm/issues/476/labels{/name}","comments_url":"https://api.github.com/repos/metamath/set.mm/issues/476/comments","events_url":"https://api.github.com/repos/metamath/set.mm/issues/476/events","html_url":"https://github.com/metamath/set.mm/pull/476","id":349738381,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA3Nzc3MjQ0","number":476,"title":"Add alternative `axiom` in formal system developed by Heyting","user":{"login":"sofigern","id":7364863,"node_id":"MDQ6VXNlcjczNjQ4NjM=","avatar_url":"https://avatars1.githubusercontent.com/u/7364863?v=4","gravatar_id":"","url":"https://api.github.com/users/sofigern","html_url":"https://github.com/sofigern","followers_url":"https://api.github.com/users/sofigern/followers","following_url":"https://api.github.com/users/sofigern/following{/other_user}","gists_url":"https://api.github.com/users/sofigern/gists{/gist_id}","starred_url":"https://api.github.com/users/sofigern/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sofigern/subscriptions","organizations_url":"https://api.github.com/users/sofigern/orgs","repos_url":"https://api.github.com/users/sofigern/repos","events_url":"https://api.github.com/users/sofigern/events{/privacy}","received_events_url":"https://api.github.com/users/sofigern/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2018-08-11T14:34:07Z","updated_at":"2018-08-12T20:27:37Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/metamath/set.mm/pulls/476","html_url":"https://github.com/metamath/set.mm/pull/476","diff_url":"https://github.com/metamath/set.mm/pull/476.diff","patch_url":"https://github.com/metamath/set.mm/pull/476.patch"},"body":"I'm new one publisher and enthusiast of Metamath project and I've chosen this missed theorem to add as a training example.\r\nI'd like to contribute more but I believe that due to lack of experience and language my changes and naming of those changes can be the complete disaster.\r\nThat's why your review would be especially appreciated, because any feedback will be useful!\r\nAlso I've only russian edition of Heyting introduction to Intuionistic so page link could be misleading. If you can help me with this I'd really appreciate that!\r\nThanks!"},"comment":{"url":"https://api.github.com/repos/metamath/set.mm/issues/comments/412369510","html_url":"https://github.com/metamath/set.mm/pull/476#issuecomment-412369510","issue_url":"https://api.github.com/repos/metamath/set.mm/issues/476","id":412369510,"node_id":"MDEyOklzc3VlQ29tbWVudDQxMjM2OTUxMA==","user":{"login":"sofigern","id":7364863,"node_id":"MDQ6VXNlcjczNjQ4NjM=","avatar_url":"https://avatars1.githubusercontent.com/u/7364863?v=4","gravatar_id":"","url":"https://api.github.com/users/sofigern","html_url":"https://github.com/sofigern","followers_url":"https://api.github.com/users/sofigern/followers","following_url":"https://api.github.com/users/sofigern/following{/other_user}","gists_url":"https://api.github.com/users/sofigern/gists{/gist_id}","starred_url":"https://api.github.com/users/sofigern/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sofigern/subscriptions","organizations_url":"https://api.github.com/users/sofigern/orgs","repos_url":"https://api.github.com/users/sofigern/repos","events_url":"https://api.github.com/users/sofigern/events{/privacy}","received_events_url":"https://api.github.com/users/sofigern/received_events","type":"User","site_admin":false},"created_at":"2018-08-12T20:27:37Z","updated_at":"2018-08-12T20:27:37Z","author_association":"NONE","body":"Thanx a lot for all the people in the thread! Communication was very encouraging and helpful, I eager to deliver some useful stuff! Now my weekend is over, so I hope to find more time and work around this topic as soon as possible =) I hope I'll be able to help! Have a nice week=)"}}
{"actor":{"display_login":"sofigern"}}