{"push_id":3144784156,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6e76214071e42c239ba571db6974a84af1409fd7","before":"5a539dbfa671d3f7f4518c311e910c8a4719284d","commits":[{"sha":"6e76214071e42c239ba571db6974a84af1409fd7","author":{"name":"Orestis Melkonian","email":"a8803610f79fcd815ba94c447e9ee72ed88af885@gmail.com"},"message":"Refining the design\n\n  * More inherently-typed model\n\n  * Make proofs irrelevant for dec.eq.\n\n  * Left holes for proofs that cannot be inferred","distinct":true,"url":"https://api.github.com/repos/omelkonian/formal-bitml/commits/6e76214071e42c239ba571db6974a84af1409fd7"}]}
{"actor":{"display_login":"omelkonian"}}