{"push_id":951264101,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"2b2ddebf5f982ab089c8568fca844878cec23184","before":"20e4e3e20a1946de90a9463ae4db34593227f056","commits":[{"sha":"2b2ddebf5f982ab089c8568fca844878cec23184","author":{"email":"5a92e5a501447cb80852542d338a7239fc42683b@ias.edu","name":"Catherine Lelay"},"message":"Q is achimedean (quick proof)","distinct":true,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/2b2ddebf5f982ab089c8568fca844878cec23184"}]}