{"push_id":846365485,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7d87f83444206392327a1ca817ee4133d2958767","before":"597052dbbcee55eefe11bdd618d23cbb21f8f772","commits":[{"sha":"7d87f83444206392327a1ca817ee4133d2958767","author":{"email":"79027e43bb4c4f9780d04f313ad0d7f53f93ca70@yahoo.com","name":"billwestfall"},"message":"Create proof010.v\n\nhttps://coq.inria.fr/tutorial/1-basic-predicate-calculus","distinct":true,"url":"https://api.github.com/repos/billwestfall/coq_ide/commits/7d87f83444206392327a1ca817ee4133d2958767"}]}