{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":681820627,"defaultBranch":"main","name":"formal-mathematics.github.io","ownerLogin":"Formal-Mathematics","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-22T20:38:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/141059045?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1709816431.0","currentOid":""},"activityList":{"items":[{"before":"20a8b0c1bb13dfaf40df093eca0abe893e443fc9","after":null,"ref":"refs/heads/dependabot/bundler/just-the-docs-0.8.0","pushedAt":"2024-03-07T13:00:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"d5c3ccbe6467a250aa664c800ef83763aac076cd","ref":"refs/heads/dependabot/bundler/just-the-docs-0.8.1","pushedAt":"2024-03-07T13:00:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump just-the-docs from 0.7.0 to 0.8.1\n\nBumps [just-the-docs](https://github.com/just-the-docs/just-the-docs) from 0.7.0 to 0.8.1.\n- [Release notes](https://github.com/just-the-docs/just-the-docs/releases)\n- [Changelog](https://github.com/just-the-docs/just-the-docs/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/just-the-docs/just-the-docs/compare/v0.7.0...v0.8.1)\n\n---\nupdated-dependencies:\n- dependency-name: just-the-docs\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump just-the-docs from 0.7.0 to 0.8.1"}},{"before":null,"after":"20a8b0c1bb13dfaf40df093eca0abe893e443fc9","ref":"refs/heads/dependabot/bundler/just-the-docs-0.8.0","pushedAt":"2024-02-23T12:38:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump just-the-docs from 0.7.0 to 0.8.0\n\nBumps [just-the-docs](https://github.com/just-the-docs/just-the-docs) from 0.7.0 to 0.8.0.\n- [Release notes](https://github.com/just-the-docs/just-the-docs/releases)\n- [Changelog](https://github.com/just-the-docs/just-the-docs/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/just-the-docs/just-the-docs/compare/v0.7.0...v0.8.0)\n\n---\nupdated-dependencies:\n- dependency-name: just-the-docs\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump just-the-docs from 0.7.0 to 0.8.0"}},{"before":null,"after":"92aed8e3b831e4926e9c25178f2d60fcf01779f0","ref":"refs/heads/dependabot/bundler/jekyll-4.3.3","pushedAt":"2023-12-28T13:04:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump jekyll from 4.3.2 to 4.3.3\n\nBumps [jekyll](https://github.com/jekyll/jekyll) from 4.3.2 to 4.3.3.\n- [Release notes](https://github.com/jekyll/jekyll/releases)\n- [Changelog](https://github.com/jekyll/jekyll/blob/master/History.markdown)\n- [Commits](https://github.com/jekyll/jekyll/compare/v4.3.2...v4.3.3)\n\n---\nupdated-dependencies:\n- dependency-name: jekyll\n  dependency-type: direct:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump jekyll from 4.3.2 to 4.3.3"}},{"before":"7f5e8695a583834eee5a726faaf37865735673fa","after":"0ac939bd6e105e0be71bfe624824d699d2c98650","ref":"refs/heads/main","pushedAt":"2023-12-05T23:04:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"notes on functors / adjunctions","shortMessageHtmlLink":"notes on functors / adjunctions"}},{"before":"e6460f15a5235e09a3176f01419f19a2f74cb9c3","after":"7f5e8695a583834eee5a726faaf37865735673fa","ref":"refs/heads/main","pushedAt":"2023-11-27T21:39:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"b83852bac408b1f9d4488b0c5b191fc287a83a3d","after":"e6460f15a5235e09a3176f01419f19a2f74cb9c3","ref":"refs/heads/main","pushedAt":"2023-11-27T20:22:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add basics of cats","shortMessageHtmlLink":"add basics of cats"}},{"before":"0ac002047a6d62defe70ed6d0a366094b607ee76","after":"b83852bac408b1f9d4488b0c5b191fc287a83a3d","ref":"refs/heads/main","pushedAt":"2023-11-21T00:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"c3d5bfb7a608f0701eeca1b4ff992cfde18baef4","after":"0ac002047a6d62defe70ed6d0a366094b607ee76","ref":"refs/heads/main","pushedAt":"2023-11-21T00:31:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"quotient notes","shortMessageHtmlLink":"quotient notes"}},{"before":"79bb96b399d5d1576d60e2c06112ae8b24299ae6","after":null,"ref":"refs/heads/dependabot/bundler/just-the-docs-0.7.0","pushedAt":"2023-10-26T13:26:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"}},{"before":"59085f7c14a34a8f43ed59e0b38f5444c5c26b2e","after":"c3d5bfb7a608f0701eeca1b4ff992cfde18baef4","ref":"refs/heads/main","pushedAt":"2023-10-26T13:26:02.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"Merge pull request #3 from Formal-Mathematics/dependabot/bundler/just-the-docs-0.7.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1963469027\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Formal-Mathematics/formal-mathematics.github.io/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Formal-Mathematics/formal-mathematics.github.io/pull/3/hovercard\" href=\"https://github.com/Formal-Mathematics/formal-mathematics.github.io/pull/3\">#3</a> from Formal-Mathematics/dependabot/bundler/just…"}},{"before":"e26b4613aa112e6243442a6b3620e03a38ad4a2b","after":null,"ref":"refs/heads/dependabot/bundler/just-the-docs-0.6.2","pushedAt":"2023-10-26T12:35:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":null,"after":"79bb96b399d5d1576d60e2c06112ae8b24299ae6","ref":"refs/heads/dependabot/bundler/just-the-docs-0.7.0","pushedAt":"2023-10-26T12:35:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump just-the-docs from 0.6.1 to 0.7.0\n\nBumps [just-the-docs](https://github.com/just-the-docs/just-the-docs) from 0.6.1 to 0.7.0.\n- [Release notes](https://github.com/just-the-docs/just-the-docs/releases)\n- [Changelog](https://github.com/just-the-docs/just-the-docs/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/just-the-docs/just-the-docs/compare/v0.6.1...v0.7.0)\n\n---\nupdated-dependencies:\n- dependency-name: just-the-docs\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump just-the-docs from 0.6.1 to 0.7.0"}},{"before":"7ad92f9024dd7b4588d8225007678bae79f307b1","after":"59085f7c14a34a8f43ed59e0b38f5444c5c26b2e","ref":"refs/heads/main","pushedAt":"2023-10-17T16:33:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"more notes","shortMessageHtmlLink":"more notes"}},{"before":"bc7bc2966c553be8e2b1e392cec71d42cdbab668","after":"7ad92f9024dd7b4588d8225007678bae79f307b1","ref":"refs/heads/main","pushedAt":"2023-10-17T16:09:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"notes on homs and equivs","shortMessageHtmlLink":"notes on homs and equivs"}},{"before":"86b2f83551c75aab7359ccc08e98727fe1cdf748","after":"bc7bc2966c553be8e2b1e392cec71d42cdbab668","ref":"refs/heads/main","pushedAt":"2023-10-12T12:33:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"some notes about tactics","shortMessageHtmlLink":"some notes about tactics"}},{"before":"86c968777e4777ee9640595e6b2017f64e63796f","after":"86b2f83551c75aab7359ccc08e98727fe1cdf748","ref":"refs/heads/main","pushedAt":"2023-10-10T15:50:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add forgetful inheritance notes","shortMessageHtmlLink":"add forgetful inheritance notes"}},{"before":"36990373a396aeedcac4bed884e662f4e41da944","after":"86c968777e4777ee9640595e6b2017f64e63796f","ref":"refs/heads/main","pushedAt":"2023-10-10T14:48:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"fix title","shortMessageHtmlLink":"fix title"}},{"before":"5d210f7e444e89812964c0509e39502d0ab7359f","after":"36990373a396aeedcac4bed884e662f4e41da944","ref":"refs/heads/main","pushedAt":"2023-10-10T01:13:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"start on algebra section","shortMessageHtmlLink":"start on algebra section"}},{"before":"11cf37f515053e9e39597fa17fa85df176d889fb","after":"5d210f7e444e89812964c0509e39502d0ab7359f","ref":"refs/heads/main","pushedAt":"2023-10-06T22:23:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add notes about outparams","shortMessageHtmlLink":"add notes about outparams"}},{"before":"c8f55fdb54c57e70c032774d7dcb744b16942b07","after":"11cf37f515053e9e39597fa17fa85df176d889fb","ref":"refs/heads/main","pushedAt":"2023-09-26T14:44:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"inductive proofs","shortMessageHtmlLink":"inductive proofs"}},{"before":"6061fb6156fd36663cfa2a982c85f85e4be265f3","after":"c8f55fdb54c57e70c032774d7dcb744b16942b07","ref":"refs/heads/main","pushedAt":"2023-09-26T11:39:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add notes on quots","shortMessageHtmlLink":"add notes on quots"}},{"before":"552d104101df24ad5d5b5e437777ac5976d3023b","after":"6061fb6156fd36663cfa2a982c85f85e4be265f3","ref":"refs/heads/main","pushedAt":"2023-09-26T01:21:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"more on inductive","shortMessageHtmlLink":"more on inductive"}},{"before":"ee029ab5bcaab4948e9b7a6d64055d31a0cb765a","after":"552d104101df24ad5d5b5e437777ac5976d3023b","ref":"refs/heads/main","pushedAt":"2023-09-25T18:51:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add note","shortMessageHtmlLink":"add note"}},{"before":"1ec6ad16dfb164efc1ea2f83486c5fd30143877c","after":"ee029ab5bcaab4948e9b7a6d64055d31a0cb765a","ref":"refs/heads/main","pushedAt":"2023-09-25T18:48:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"start on inductive types","shortMessageHtmlLink":"start on inductive types"}},{"before":"da915f0397d622d8b4b64e9fecece08d834dd5e7","after":"1ec6ad16dfb164efc1ea2f83486c5fd30143877c","ref":"refs/heads/main","pushedAt":"2023-09-25T17:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"notes on classes","shortMessageHtmlLink":"notes on classes"}},{"before":"6c14a90a8a76274397d006fadc4a35ff0006d9a5","after":"da915f0397d622d8b4b64e9fecece08d834dd5e7","ref":"refs/heads/main","pushedAt":"2023-09-24T13:52:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"add note on binders","shortMessageHtmlLink":"add note on binders"}},{"before":"b64ca9d35d2076a4a56a63672397cfe93d10f37c","after":"6c14a90a8a76274397d006fadc4a35ff0006d9a5","ref":"refs/heads/main","pushedAt":"2023-09-24T02:30:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"heading","shortMessageHtmlLink":"heading"}},{"before":"4c5cd1180dd4b00f0ee292818d2850f9ef570685","after":"b64ca9d35d2076a4a56a63672397cfe93d10f37c","ref":"refs/heads/main","pushedAt":"2023-09-24T02:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"recordings","shortMessageHtmlLink":"recordings"}},{"before":"78cfda1e35a1a0fd1985559cc6354d4e1b0dbb16","after":"4c5cd1180dd4b00f0ee292818d2850f9ef570685","ref":"refs/heads/main","pushedAt":"2023-09-24T02:24:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"finish structures","shortMessageHtmlLink":"finish structures"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEDxI-wgA","startCursor":null,"endCursor":null}},"title":"Activity · Formal-Mathematics/formal-mathematics.github.io"}