{"push_id":908585851,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"46c5902da01b82615786fe3b08b98bba85112207","before":"f475596a2f07eb38c15b37960e32716198182e30","commits":[{"sha":"46c5902da01b82615786fe3b08b98bba85112207","author":{"email":"e25768af78fb9ca28b5d9c6033b021e01bf6b682@gmail.com","name":"Michael Welch"},"message":"Add proofs for quantifier identities","distinct":true,"url":"https://api.github.com/repos/michaelgwelch/incredible/commits/46c5902da01b82615786fe3b08b98bba85112207"}]}