{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":811011417,"defaultBranch":"main","name":"learning-coq","ownerLogin":"Bipinoli","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-06-05T19:15:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11765482?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717615158.0","currentOid":""},"activityList":{"items":[{"before":"58835d01743256ea85a5545fe329bf7fd31eb99c","after":"88332a04c00deb6371e473227b35e2fdd577b1b0","ref":"refs/heads/main","pushedAt":"2024-06-06T21:36:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"updated references","shortMessageHtmlLink":"updated references"}},{"before":"8b7f9d634b01392a59d2b384eb1bb7d2080cbaa9","after":"58835d01743256ea85a5545fe329bf7fd31eb99c","ref":"refs/heads/main","pushedAt":"2024-06-06T21:24:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"more higher order functions: map, fold","shortMessageHtmlLink":"more higher order functions: map, fold"}},{"before":"7b2a723ff92e490dce3ff6af20e894a874725b06","after":"8b7f9d634b01392a59d2b384eb1bb7d2080cbaa9","ref":"refs/heads/main","pushedAt":"2024-06-06T20:59:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"higher order functions","shortMessageHtmlLink":"higher order functions"}},{"before":"4a835082ae55759948ad08a7e8fb2629acb1fb15","after":"7b2a723ff92e490dce3ff6af20e894a874725b06","ref":"refs/heads/main","pushedAt":"2024-06-06T20:31:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"polymorphism","shortMessageHtmlLink":"polymorphism"}},{"before":"ec8a8cd2f5b48b5680d9d5223720f08625cd86ea","after":"4a835082ae55759948ad08a7e8fb2629acb1fb15","ref":"refs/heads/main","pushedAt":"2024-06-06T18:28:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"maps","shortMessageHtmlLink":"maps"}},{"before":"298271a727db861de17932e30c65a244438bebbe","after":"ec8a8cd2f5b48b5680d9d5223720f08625cd86ea","ref":"refs/heads/main","pushedAt":"2024-06-06T17:47:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"lists","shortMessageHtmlLink":"lists"}},{"before":"0d6f3a7941bdcfc3860cf4a7129a8dad4266e72e","after":"298271a727db861de17932e30c65a244438bebbe","ref":"refs/heads/main","pushedAt":"2024-06-06T17:23:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"lists","shortMessageHtmlLink":"lists"}},{"before":"0dad507b68124c220581e7d2b8d2662327ea87e7","after":"0d6f3a7941bdcfc3860cf4a7129a8dad4266e72e","ref":"refs/heads/main","pushedAt":"2024-06-06T16:55:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"pairs","shortMessageHtmlLink":"pairs"}},{"before":"53dc3bc1a1d98d9df3148c762bde5c1c9f4f1b69","after":"0dad507b68124c220581e7d2b8d2662327ea87e7","ref":"refs/heads/main","pushedAt":"2024-06-06T11:16:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"more assert to help proving","shortMessageHtmlLink":"more assert to help proving"}},{"before":"94efcc0a0a91d5590e311aff81314367e2a596dc","after":"53dc3bc1a1d98d9df3148c762bde5c1c9f4f1b69","ref":"refs/heads/main","pushedAt":"2024-06-06T11:10:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"asserted hypothesis","shortMessageHtmlLink":"asserted hypothesis"}},{"before":"054d7f00a4c3d2e803aaaef4b38c3bcdbb0aa0f4","after":"94efcc0a0a91d5590e311aff81314367e2a596dc","ref":"refs/heads/main","pushedAt":"2024-06-06T11:00:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"proof by induction with lemma","shortMessageHtmlLink":"proof by induction with lemma"}},{"before":"2c46afc41ede2f80b80ae751be448af82b124c26","after":"054d7f00a4c3d2e803aaaef4b38c3bcdbb0aa0f4","ref":"refs/heads/main","pushedAt":"2024-06-06T10:39:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"proof by induction","shortMessageHtmlLink":"proof by induction"}},{"before":"a1e2e130481f88b4a8fccb3ad7e4a9637b0a275d","after":"2c46afc41ede2f80b80ae751be448af82b124c26","ref":"refs/heads/main","pushedAt":"2024-06-06T08:23:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"proof by cases","shortMessageHtmlLink":"proof by cases"}},{"before":"59daece9ba190c04a14bc1af69d069f8c642ff3e","after":"a1e2e130481f88b4a8fccb3ad7e4a9637b0a275d","ref":"refs/heads/main","pushedAt":"2024-06-05T22:11:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"hands dirty with proofs","shortMessageHtmlLink":"hands dirty with proofs"}},{"before":"6495d8d6a0beedac723719eff7d9cc708620c989","after":"59daece9ba190c04a14bc1af69d069f8c642ff3e","ref":"refs/heads/main","pushedAt":"2024-06-05T21:44:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"more playing with coq","shortMessageHtmlLink":"more playing with coq"}},{"before":"1d03bce167144064037a8ecaf6d1bec7c37f28f3","after":"6495d8d6a0beedac723719eff7d9cc708620c989","ref":"refs/heads/main","pushedAt":"2024-06-05T19:37:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"first","shortMessageHtmlLink":"first"}},{"before":"2b993b50864d7aceddc3ee072826822603700e29","after":"1d03bce167144064037a8ecaf6d1bec7c37f28f3","ref":"refs/heads/main","pushedAt":"2024-06-05T19:36:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"2b993b50864d7aceddc3ee072826822603700e29","ref":"refs/heads/main","pushedAt":"2024-06-05T19:19:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Bipinoli","name":"Bipin","path":"/Bipinoli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11765482?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wNlQyMTozNjozNS4wMDAwMDBazwAAAAReo8tK","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wNVQxOToxOToxOC4wMDAwMDBazwAAAARdez6z"}},"title":"Activity · Bipinoli/learning-coq"}