{"push_id":1442563771,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5f3b542b6ecae6b826999719be24670ed14c8121","before":"7f7f8d421083ca578f814ca52af1a390b8b0cc59","commits":[{"sha":"1ee94baf24e027fb82fba81f2d19d1c69d2dd8fd","author":{"name":"Arnaud Spiwack","email":"a6a02a54042c1400b77a9dbc2a1b7e9f0dda3490@spiwack.net"},"message":"Very basic minimal problem extraction\n\nExtracts propositional logic. Treats constants are uninterpreted symbols. Doesn't handle other kinds of symbols yet (`Var`, `Ind`). Doesn't extract definitions from constants. Doesn't extract axioms.","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku-coq/commits/1ee94baf24e027fb82fba81f2d19d1c69d2dd8fd"},{"sha":"5f3b542b6ecae6b826999719be24670ed14c8121","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"Merge pull request #1 from aspiwack/extract-basic\n\nVery basic extraction from Coq","distinct":true,"url":"https://api.github.com/repos/nunchaku-inria/nunchaku-coq/commits/5f3b542b6ecae6b826999719be24670ed14c8121"}]}
{"actor":{"display_login":"c-cube"}}