{"push_id":2412961917,"size":1,"distinct_size":1,"ref":"refs/heads/system-f","head":"ddebe1b64c23bc8f5ba2a4ff660183710d1d960b","before":"65f8f3e1077ffbb79b86ce720927b64e01be00a6","commits":[{"sha":"ddebe1b64c23bc8f5ba2a4ff660183710d1d960b","author":{"name":"Stephan Boyer","email":"67d7d0d9e0847ba6bd193435934391b80891ff8f@stephanboyer.com"},"message":"Formalize System F and prove the soundness theorem","distinct":true,"url":"https://api.github.com/repos/stepchowfun/proofs/commits/ddebe1b64c23bc8f5ba2a4ff660183710d1d960b"}]}
{"actor":{"display_login":"stepchowfun"}}