{"push_id":919787424,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fc31d8d9773c3038c7a463305585d160f2f08f6b","before":"1fab27368651f89378332b11ab31ba1d495a785a","commits":[{"sha":"fc31d8d9773c3038c7a463305585d160f2f08f6b","author":{"email":"2462f0f798933fd5a2be34cd2517e2152db57646@gru.edu","name":"Harley Eades"},"message":"Last case of theorem 4.","distinct":true,"url":"https://api.github.com/repos/vcvpaiva/ConstructiveTemporalLogic/commits/fc31d8d9773c3038c7a463305585d160f2f08f6b"}]}