{"push_id":635349909,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a76d28146380ab893105c5279bab715297d4d819","before":"d08855005425b6de8c570842bd4f237973b145dc","commits":[{"sha":"a76d28146380ab893105c5279bab715297d4d819","author":{"email":"f9c38954eb040a9b963021b12121e3f5369a6d4c@gmail.com","name":"Michael Färber"},"message":"Correct error handling, main function.","distinct":true,"url":"https://api.github.com/repos/01mf02/interactive-theorem-proving/commits/a76d28146380ab893105c5279bab715297d4d819"}]}