{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":335920016,"defaultBranch":"master","name":"naproche","ownerLogin":"naproche","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-04T10:33:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/64542471?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711141807.0","currentOid":""},"activityList":{"items":[{"before":"a7dfa0ca251faccd520230d6148b30b3d9eb0756","after":"13a2c9c84825682dc1c137291fa48a11dcf5f7f0","ref":"refs/heads/master","pushedAt":"2024-05-13T17:33:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adelon","name":null,"path":"/adelon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22380201?s=80&v=4"},"commit":{"message":"Fix LaTeX compilation (missing def'n of `\\V`)","shortMessageHtmlLink":"Fix LaTeX compilation (missing def'n of <code>\\V</code>)"}},{"before":"77f0d3f6e63b387a09f196bcd1ee1e71c4f3b0d4","after":"a7dfa0ca251faccd520230d6148b30b3d9eb0756","ref":"refs/heads/master","pushedAt":"2024-05-13T15:42:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adelon","name":null,"path":"/adelon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22380201?s=80&v=4"},"commit":{"message":"Drop dependency","shortMessageHtmlLink":"Drop dependency"}},{"before":"4cfe53c58e2e6fe868b675934853d4594ffcd1a1","after":"77f0d3f6e63b387a09f196bcd1ee1e71c4f3b0d4","ref":"refs/heads/master","pushedAt":"2024-05-12T15:19:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"update CHANGELOG","shortMessageHtmlLink":"update CHANGELOG"}},{"before":"b7d12de2705feae3f4dfcea2a179c995332330e1","after":"4cfe53c58e2e6fe868b675934853d4594ffcd1a1","ref":"refs/heads/master","pushedAt":"2024-05-12T15:14:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"update examples README","shortMessageHtmlLink":"update examples README"}},{"before":"9579f844db1f7dede7ef7fce853c526410c7ce90","after":"b7d12de2705feae3f4dfcea2a179c995332330e1","ref":"refs/heads/master","pushedAt":"2024-05-12T12:37:40.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"update CHANGELOG","shortMessageHtmlLink":"update CHANGELOG"}},{"before":"0c8ce78e40f95d532a80f50cc70bd3ab15be937f","after":"9579f844db1f7dede7ef7fce853c526410c7ce90","ref":"refs/heads/master","pushedAt":"2024-05-12T11:30:47.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"revise Zermelo","shortMessageHtmlLink":"revise Zermelo"}},{"before":"cfd06393295968f5b570d6bc18ced78a6dcc89c8","after":"0c8ce78e40f95d532a80f50cc70bd3ab15be937f","ref":"refs/heads/master","pushedAt":"2024-05-10T10:34:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wjrtz","name":null,"path":"/wjrtz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33463379?s=80&v=4"},"commit":{"message":"Update CHANGELOG.md.\n\nNew resetting of variable pretypings and imports relative to `NAPROCHE_FORMALIZATIONS` environment variable.","shortMessageHtmlLink":"Update CHANGELOG.md."}},{"before":"8eba619c36d59549a1ba1400f7ac9474f35ae559","after":"cfd06393295968f5b570d6bc18ced78a6dcc89c8","ref":"refs/heads/master","pushedAt":"2024-05-09T10:37:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"revise Koenig","shortMessageHtmlLink":"revise Koenig"}},{"before":"cfec6459505941318932a8127fd3a482779153cf","after":"8eba619c36d59549a1ba1400f7ac9474f35ae559","ref":"refs/heads/master","pushedAt":"2024-05-09T10:15:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"move `synonym` instructions to vocabulary files","shortMessageHtmlLink":"move <code>synonym</code> instructions to vocabulary files"}},{"before":"ca9da013b7e7e8d2f87d01a8381db9a78a188a60","after":"cfec6459505941318932a8127fd3a482779153cf","ref":"refs/heads/master","pushedAt":"2024-05-09T10:03:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"revise puzzles","shortMessageHtmlLink":"revise puzzles"}},{"before":"9343f8b7e2fc8e83f564a0010d78f5cdfb87f369","after":"ca9da013b7e7e8d2f87d01a8381db9a78a188a60","ref":"refs/heads/master","pushedAt":"2024-05-09T09:44:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"add new and revise existing paradoxes","shortMessageHtmlLink":"add new and revise existing paradoxes"}},{"before":"e8c290d800ffa12f77848580a7f668cf2fe146a0","after":"9343f8b7e2fc8e83f564a0010d78f5cdfb87f369","ref":"refs/heads/master","pushedAt":"2024-05-08T22:15:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"refactor paradoxes","shortMessageHtmlLink":"refactor paradoxes"}},{"before":"ede878e3440650780af3b54cfc1d41383a1ae6ff","after":"e8c290d800ffa12f77848580a7f668cf2fe146a0","ref":"refs/heads/master","pushedAt":"2024-05-06T22:12:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"refactor formalizations about transitive classes and ordinals","shortMessageHtmlLink":"refactor formalizations about transitive classes and ordinals"}},{"before":"b34170a7862c144dc3a51a7310d541aee3c769fb","after":"ede878e3440650780af3b54cfc1d41383a1ae6ff","ref":"refs/heads/master","pushedAt":"2024-05-06T20:57:57.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"improve Furstenberg","shortMessageHtmlLink":"improve Furstenberg"}},{"before":"396a82ba36b894cd4c8d3bfdfa8768d007ebdd85","after":"b34170a7862c144dc3a51a7310d541aee3c769fb","ref":"refs/heads/master","pushedAt":"2024-05-06T12:01:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"add library for lists","shortMessageHtmlLink":"add library for lists"}},{"before":"b4c13aba8e495df8d9555f559d29b861713ea213","after":"396a82ba36b894cd4c8d3bfdfa8768d007ebdd85","ref":"refs/heads/master","pushedAt":"2024-05-06T11:12:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"add formalization of \"Little Gauß\"","shortMessageHtmlLink":"add formalization of \"Little Gauß\""}},{"before":"9d617a0f6dc1a9aa643bf77c172a812d3a3fe8a6","after":"b4c13aba8e495df8d9555f559d29b861713ea213","ref":"refs/heads/master","pushedAt":"2024-05-06T10:32:24.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"update CHANGELOG","shortMessageHtmlLink":"update CHANGELOG"}},{"before":"11ce6df216f56a519fda0bfa41adeb28239bfc51","after":"9d617a0f6dc1a9aa643bf77c172a812d3a3fe8a6","ref":"refs/heads/master","pushedAt":"2024-05-05T14:14:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"fix paths","shortMessageHtmlLink":"fix paths"}},{"before":"f0077c1f2ee88d8c5c7f46e2a75cd66a3a91cc01","after":"11ce6df216f56a519fda0bfa41adeb28239bfc51","ref":"refs/heads/master","pushedAt":"2024-05-05T14:09:58.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"move Euclid's Division Theorem from library to stand-alone example file","shortMessageHtmlLink":"move Euclid's Division Theorem from library to stand-alone example file"}},{"before":"3ca323d9de47da3c77055e9b9016a147ab3e335d","after":"f0077c1f2ee88d8c5c7f46e2a75cd66a3a91cc01","ref":"refs/heads/master","pushedAt":"2024-05-04T15:00:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"tweak","shortMessageHtmlLink":"tweak"}},{"before":"955721420d3f53f935e08d85312717c9ab2fdec1","after":"3ca323d9de47da3c77055e9b9016a147ab3e335d","ref":"refs/heads/master","pushedAt":"2024-05-04T14:39:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"remove redundant instances of Knaster-Tarski and Cantor-Schroeder-Bernstein from libraries","shortMessageHtmlLink":"remove redundant instances of Knaster-Tarski and Cantor-Schroeder-Ber…"}},{"before":"f880e572d693f713c289d82e59fbb8cb5b367e7d","after":"955721420d3f53f935e08d85312717c9ab2fdec1","ref":"refs/heads/master","pushedAt":"2024-05-04T14:32:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"move and optimize cardinality formalizations","shortMessageHtmlLink":"move and optimize cardinality formalizations"}},{"before":"7791ff1143e721edb95358ec9e4cfb9effbb8f24","after":"f880e572d693f713c289d82e59fbb8cb5b367e7d","ref":"refs/heads/master","pushedAt":"2024-05-04T11:59:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"restore archived formalizations","shortMessageHtmlLink":"restore archived formalizations"}},{"before":"9a170fe9080405b2db3b62f663d4ff91bec165e7","after":"7791ff1143e721edb95358ec9e4cfb9effbb8f24","ref":"refs/heads/master","pushedAt":"2024-05-03T21:26:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"move Dedekind's Recursion Theorem from arithmetics library to stand-alone example file","shortMessageHtmlLink":"move Dedekind's Recursion Theorem from arithmetics library to stand-a…"}},{"before":"f360cb9fe4e5641e191e2581130eab3f22ac3d38","after":"9a170fe9080405b2db3b62f663d4ff91bec165e7","ref":"refs/heads/master","pushedAt":"2024-05-03T20:02:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"optimize arithmetics library","shortMessageHtmlLink":"optimize arithmetics library"}},{"before":"2df72d74097e7314e995c99e86aee0263b165860","after":"f360cb9fe4e5641e191e2581130eab3f22ac3d38","ref":"refs/heads/master","pushedAt":"2024-05-03T14:23:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"adapt examples to new library structure","shortMessageHtmlLink":"adapt examples to new library structure"}},{"before":"e9f60b9a955c29432d2379b49b173f0b317b8ccd","after":"2df72d74097e7314e995c99e86aee0263b165860","ref":"refs/heads/master","pushedAt":"2024-05-03T14:10:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"refactor set theory library","shortMessageHtmlLink":"refactor set theory library"}},{"before":"8b6236f1f2e37e47dc1e5b3a0e65b609615ef53d","after":"e9f60b9a955c29432d2379b49b173f0b317b8ccd","ref":"refs/heads/master","pushedAt":"2024-05-03T14:07:02.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"refactor foundations library","shortMessageHtmlLink":"refactor foundations library"}},{"before":"19d859ae365b23b9dfd4b8452b71514184344218","after":"8b6236f1f2e37e47dc1e5b3a0e65b609615ef53d","ref":"refs/heads/master","pushedAt":"2024-05-02T02:21:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"makarius","name":"makarius","path":"/makarius","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4053140?s=80&v=4"},"commit":{"message":"Proper platform_path for Windows:\naddress problem from 02762b82ca8c and 13ac82ac8133.","shortMessageHtmlLink":"Proper platform_path for Windows:"}},{"before":"3b0f21a24804a3f3f685570125e0712d69085ab3","after":"19d859ae365b23b9dfd4b8452b71514184344218","ref":"refs/heads/master","pushedAt":"2024-05-01T15:04:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"McEarl","name":"Marcel Schütz","path":"/McEarl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61012097?s=80&v=4"},"commit":{"message":"Change title from \"Naproche-SAD\" to \"Naproche\"","shortMessageHtmlLink":"Change title from \"Naproche-SAD\" to \"Naproche\""}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESKvfjgA","startCursor":null,"endCursor":null}},"title":"Activity · naproche/naproche"}