{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":694575593,"defaultBranch":"main","name":"sHoTT","ownerLogin":"nimarasekh","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-09-21T09:19:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16964854?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696022844.0","currentOid":""},"activityList":{"items":[{"before":"479144f59253b4573901d802d751d8a9ef30f7f9","after":"294c39a9bf5af2c72cf38398651e4ba749c5f41f","ref":"refs/heads/main","pushedAt":"2023-09-29T21:27:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Morphisms of Product Types\n\nAdded Section to file 5 characterizing morphisms in product types as products of morphims","shortMessageHtmlLink":"Morphisms of Product Types"}},{"before":"7619868b9320629ff4a0c3e6cc872d3b41a2b7af","after":"479144f59253b4573901d802d751d8a9ef30f7f9","ref":"refs/heads/main","pushedAt":"2023-09-29T20:56:13.000Z","pushType":"push","commitsCount":111,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Merge pull request #78 from TashiWalde/homotopy-pullbacks\n\nPullback of homotopy cartesian squares","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1918333832\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rzk-lang/sHoTT/issues/78\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rzk-lang/sHoTT/pull/78/hovercard\" href=\"https://github.com/rzk-lang/sHoTT/pull/78\">rzk-lang#78</a> from TashiWalde/homotopy-pullbacks"}},{"before":"e4b4a26ed04aa022dc1eccfd3a5928336cce0d56","after":"7619868b9320629ff4a0c3e6cc872d3b41a2b7af","ref":"refs/heads/main","pushedAt":"2023-09-26T07:44:41.000Z","pushType":"push","commitsCount":35,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Merge pull request #47 from jonalfcam/weak-ext-ext\n\nWeak ext ext and paths in contractible types","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1909980863\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rzk-lang/sHoTT/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rzk-lang/sHoTT/pull/47/hovercard\" href=\"https://github.com/rzk-lang/sHoTT/pull/47\">rzk-lang#47</a> from jonalfcam/weak-ext-ext"}},{"before":"01d3031f55c107a791f7180f34725d125cdc8c93","after":"e4b4a26ed04aa022dc1eccfd3a5928336cce0d56","ref":"refs/heads/main","pushedAt":"2023-09-25T10:24:54.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"emilyriehl","name":"Emily Riehl","path":"/emilyriehl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19517483?s=80&v=4"},"commit":{"message":"Merge branch 'main' into main","shortMessageHtmlLink":"Merge branch 'main' into main"}},{"before":"bf9cfbf9d584c8e3b5cb7bc82192342c1864f0b1","after":"01d3031f55c107a791f7180f34725d125cdc8c93","ref":"refs/heads/main","pushedAt":"2023-09-25T10:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"emilyriehl","name":"Emily Riehl","path":"/emilyriehl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19517483?s=80&v=4"},"commit":{"message":"styleistic edits","shortMessageHtmlLink":"styleistic edits"}},{"before":"46f047a95dd617f35cb3ab1f9a95d1ca15952286","after":"bf9cfbf9d584c8e3b5cb7bc82192342c1864f0b1","ref":"refs/heads/main","pushedAt":"2023-09-25T07:41:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Adjusted 08-covariant with WeakFunExt assumption","shortMessageHtmlLink":"Adjusted 08-covariant with WeakFunExt assumption"}},{"before":"f25ea9fc899486b98ad6c30d2f045b382cfaa7d3","after":"46f047a95dd617f35cb3ab1f9a95d1ca15952286","ref":"refs/heads/main","pushedAt":"2023-09-25T07:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Added weak function extensionality\n\nAdded separate weak function extensionality to 06-contractible that is then assumed in 08-covariant","shortMessageHtmlLink":"Added weak function extensionality"}},{"before":"fb73f095d12267d4d6e7c2e91f890a6704a4ef2e","after":"f25ea9fc899486b98ad6c30d2f045b382cfaa7d3","ref":"refs/heads/main","pushedAt":"2023-09-23T19:04:39.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"emilyriehl","name":"Emily Riehl","path":"/emilyriehl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19517483?s=80&v=4"},"commit":{"message":"Merge branch 'main' into main","shortMessageHtmlLink":"Merge branch 'main' into main"}},{"before":"1095d3c0c0f29fa597f50fad2b5e2b462137a044","after":"fb73f095d12267d4d6e7c2e91f890a6704a4ef2e","ref":"refs/heads/main","pushedAt":"2023-09-23T10:38:58.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Merge branch 'main' into main","shortMessageHtmlLink":"Merge branch 'main' into main"}},{"before":"1a296e8cfd8e943cdf8621a29e58c0a4e191c7c9","after":"1095d3c0c0f29fa597f50fad2b5e2b462137a044","ref":"refs/heads/main","pushedAt":"2023-09-22T13:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Added Theorem 8.30","shortMessageHtmlLink":"Added Theorem 8.30"}},{"before":"c6223fc3bd347c8a2d7446b6368a77948c457a91","after":"1a296e8cfd8e943cdf8621a29e58c0a4e191c7c9","ref":"refs/heads/main","pushedAt":"2023-09-22T13:03:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Added Theorem 8.30","shortMessageHtmlLink":"Added Theorem 8.30"}},{"before":"2745d48f325248699d48c4be19ca31e32e0be335","after":"c6223fc3bd347c8a2d7446b6368a77948c457a91","ref":"refs/heads/main","pushedAt":"2023-09-22T13:02:39.000Z","pushType":"push","commitsCount":28,"pusher":{"login":"nimarasekh","name":"Nima Rasekh","path":"/nimarasekh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16964854?s=80&v=4"},"commit":{"message":"Merge pull request #40 from kyoDralliam/naturality-eq\n\n Proof of the naturality equation (Prop 6.6)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1907314440\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rzk-lang/sHoTT/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rzk-lang/sHoTT/pull/40/hovercard\" href=\"https://github.com/rzk-lang/sHoTT/pull/40\">rzk-lang#40</a> from kyoDralliam/naturality-eq"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADjCgwwAA","startCursor":null,"endCursor":null}},"title":"Activity · nimarasekh/sHoTT"}