{"push_id":623643761,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"86b252c0819bd4e56fa838288d25d7e396b8ae90","before":"5cc31088dcc25737150ad4bedaeefcbca5d0d7f8","commits":[{"sha":"86b252c0819bd4e56fa838288d25d7e396b8ae90","author":{"email":"f9c38954eb040a9b963021b12121e3f5369a6d4c@gmail.com","name":"Michael Färber"},"message":"Documented assignment 04.","distinct":true,"url":"https://api.github.com/repos/01mf02/interactive-theorem-proving/commits/86b252c0819bd4e56fa838288d25d7e396b8ae90"}]}