{"push_id":1165042836,"size":33,"distinct_size":0,"ref":"refs/heads/master","head":"77ef16f1859abd61997c9daf8fe354a0d0eceef8","before":"eee88a33860c7c40cd713f95f4b97e300733f057","commits":[{"sha":"987acdd8856cc009cc0f0f05c63e39c79161831b","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"equiv_classes","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/987acdd8856cc009cc0f0f05c63e39c79161831b"},{"sha":"3084b564b0ff471bdcb2dccf774e2da8d57c2dbe","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"skip_right","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/3084b564b0ff471bdcb2dccf774e2da8d57c2dbe"},{"sha":"09269f49adbef5a81c46a13dff7981e9ed93d73d","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"IFB_false","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/09269f49adbef5a81c46a13dff7981e9ed93d73d"},{"sha":"64386e2b67f849fb89cd1ffe69ca93b6686f52f4","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"swap_if_branches","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/64386e2b67f849fb89cd1ffe69ca93b6686f52f4"},{"sha":"79e3f7aa4f0d9ae7de26ea9e49a9800d7ab47e5e","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"WHILE_false_informal","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/79e3f7aa4f0d9ae7de26ea9e49a9800d7ab47e5e"},{"sha":"5647b16f333d41739bab0a5940a508bc3436c71f","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"WHILE_true","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/5647b16f333d41739bab0a5940a508bc3436c71f"},{"sha":"0f04e9aea574463bb7bdff5ffbad21aafd05207a","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"seq_assoc","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/0f04e9aea574463bb7bdff5ffbad21aafd05207a"},{"sha":"5a8364c2e37f6ec41bc049c6bf4c5c4376fa6171","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"and_exercise","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/5a8364c2e37f6ec41bc049c6bf4c5c4376fa6171"},{"sha":"541e85ae457ea4f22c080544e3ea2464562db25a","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"andb_true_elim2","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/541e85ae457ea4f22c080544e3ea2464562db25a"},{"sha":"8838c3650d31989394c61583a372b1668234d8f1","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"Revert \"andb_true_elim2\" since it is present in Induction\n\nThis reverts commit 541e85ae457ea4f22c080544e3ea2464562db25a.","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/8838c3650d31989394c61583a372b1668234d8f1"},{"sha":"76823b2d4c33877356efc3f29cf65d71b66068f9","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"evenb_S","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/76823b2d4c33877356efc3f29cf65d71b66068f9"},{"sha":"702931950a145f08c72d0e55c87f3b630467137f","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"tr_rev","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/702931950a145f08c72d0e55c87f3b630467137f"},{"sha":"425a2747d55afbb073beddfdf95a81a95eb70dce","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"assign_equiv","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/425a2747d55afbb073beddfdf95a81a95eb70dce"},{"sha":"f618cab29845cf3314fd8695b42fbdad1c8938cb","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"Added some filler lemmas","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/f618cab29845cf3314fd8695b42fbdad1c8938cb"},{"sha":"875c604500a487251ed2a28fb2a710ecd98a7ffc","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"CSeq_congruence","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/875c604500a487251ed2a28fb2a710ecd98a7ffc"},{"sha":"e9331963602a44056587a9baead8061c1708794b","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"CIF_congruence","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/e9331963602a44056587a9baead8061c1708794b"},{"sha":"9945c63374820ba3dc20fc027f2119bee789f4fd","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"More filler definitions","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/9945c63374820ba3dc20fc027f2119bee789f4fd"},{"sha":"fe305dfff874cf036c0de362c5b21654267c72e1","author":{"name":"rouanth","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"fold_bexp_Eq_informal","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/fe305dfff874cf036c0de362c5b21654267c72e1"},{"sha":"48e3ceb3a38c2ebd0aa516caf595bc341497bfeb","author":{"name":"Dmitry Khalansky","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"fold_constants_com_sound","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/48e3ceb3a38c2ebd0aa516caf595bc341497bfeb"},{"sha":"a6c7102a048c289e4ad94b34db9e5489ea36a16a","author":{"name":"rouanth","email":"8c4e1fb803df2a93c346a017bd9a4e9ffa45f496@gmail.com"},"message":"started optimize_0plus","distinct":false,"url":"https://api.github.com/repos/rouanth/learning/commits/a6c7102a048c289e4ad94b34db9e5489ea36a16a"}]}
{"actor":{"display_login":"rouanth"}}