{"push_id":732323516,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f6328b144f10be68c4e1e0ff20a97e3b9f79befc","before":"4b00a7b442f4f050e3d3bddd630b757b7b2888d0","commits":[{"sha":"f6328b144f10be68c4e1e0ff20a97e3b9f79befc","author":{"email":"595fd10997cce9bdc189ad03cf0054c770411297@hotmail.com","name":"zhangyang111"},"message":"Correctness proof of PE with fix-point combinator","distinct":true,"url":"https://api.github.com/repos/peterthiemann/polybta/commits/f6328b144f10be68c4e1e0ff20a97e3b9f79befc"}]}