{"push_id":560012730,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"b7ef0ba587f24bce5f44bbf28a5379e3e956b48a","before":"20d0fe742dfa633b1ad3ec5a0334fae18e5252c6","commits":[{"sha":"6087bce048e91c6b793cadc866e01864b1db31cf","author":{"email":"a8c5a42091848a474ae0f53b33ace21219556b77@gmail.com","name":"jam231"},"message":"Add notation for exp function in Basics.v. Add solution for Basics.v - blt.nat.","distinct":true,"url":"https://api.github.com/repos/jam231/Software-Foundations/commits/6087bce048e91c6b793cadc866e01864b1db31cf"},{"sha":"91d013c9fbfee7934fce84539ed4e92e6bdf253b","author":{"email":"a8c5a42091848a474ae0f53b33ace21219556b77@gmail.com","name":"jam231"},"message":"Add solution of Basics.v - plus_id_exercise.","distinct":true,"url":"https://api.github.com/repos/jam231/Software-Foundations/commits/91d013c9fbfee7934fce84539ed4e92e6bdf253b"},{"sha":"333e6421f8769c160146809b1c549a863104eec4","author":{"email":"a8c5a42091848a474ae0f53b33ace21219556b77@gmail.com","name":"jam231"},"message":"Add solution of Basics.v - mult_S_1.","distinct":true,"url":"https://api.github.com/repos/jam231/Software-Foundations/commits/333e6421f8769c160146809b1c549a863104eec4"},{"sha":"b7ef0ba587f24bce5f44bbf28a5379e3e956b48a","author":{"email":"a8c5a42091848a474ae0f53b33ace21219556b77@gmail.com","name":"jam231"},"message":"Add solution of Basics.v - zero_nbeq_plus_1.","distinct":true,"url":"https://api.github.com/repos/jam231/Software-Foundations/commits/b7ef0ba587f24bce5f44bbf28a5379e3e956b48a"}]}