{"push_id":792929847,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1880176a00c9eba0317aab87191a12c3a11839d9","before":"df26d2958dea35357176e93d03286fec34d043ed","commits":[{"sha":"1880176a00c9eba0317aab87191a12c3a11839d9","author":{"email":"ce98047f2704fd35dcfde4335fc3bb65a0182e44@epfl.ch","name":"Nada Amin"},"message":"revised rules until proofs","distinct":true,"url":"https://api.github.com/repos/samuelgruetter/dot-calculus/commits/1880176a00c9eba0317aab87191a12c3a11839d9"}]}