{"push_id":724983685,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"cc2072ee09657aac25a71a11868b4e65ba30964c","before":"49711e10ed9a1eb0446b458c0b285a67c5675c05","commits":[{"sha":"c0785649c58f5bd8cc9d1aeb5e0805852574189f","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"rational invariant positive denominator","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/c0785649c58f5bd8cc9d1aeb5e0805852574189f"},{"sha":"cc2072ee09657aac25a71a11868b4e65ba30964c","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"proving properties of equivalence over rationals","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/cc2072ee09657aac25a71a11868b4e65ba30964c"}]}