{"push_id":664506174,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e8d1df5f139a19ddfa5c9049af46a5ea428bf2b9","before":"800f73c4ec719498c6ea71dd5080b7307b524cc4","commits":[{"sha":"e8d1df5f139a19ddfa5c9049af46a5ea428bf2b9","author":{"email":"908447cded2e16094ba866d5ca927655fda75d7f@Lays-MacBook-Pro.local","name":"Lay Kuan Loh"},"message":"more proofs","distinct":true,"url":"https://api.github.com/repos/lkloh/lean-project-15815/commits/e8d1df5f139a19ddfa5c9049af46a5ea428bf2b9"}]}