{"push_id":769824779,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0b5e4866eacd2f2ff2eac9d4373f45e33fbe0a9e","before":"a352a8b04c831d5ad27b9b763fc132c9902cbd11","commits":[{"sha":"df4f0412f8ed36c3fd2b76dcfb9b5058f71bae2c","author":{"email":"136a23f3a12bb4156ce754dea76c909baa8db78e@gmail.com","name":"rafaelkperes"},"message":"todo:\n\t- EDJTest\n\t- rules on proof\n\t- rule start, add param, apply\n\t- iterators for print on proof and lines\n+ Applier\n+ DNApplier\n+ Several Rule modifications","distinct":true,"url":"https://api.github.com/repos/rafaelkperes/heraclito/commits/df4f0412f8ed36c3fd2b76dcfb9b5058f71bae2c"},{"sha":"0b5e4866eacd2f2ff2eac9d4373f45e33fbe0a9e","author":{"email":"136a23f3a12bb4156ce754dea76c909baa8db78e@gmail.com","name":"rafaelkperes"},"message":"todo:\n\t- RAA\n\t- PC\n\t- derived rules\n\t- iterators for print on proof and lines\n+ Some rule appliers and tests","distinct":true,"url":"https://api.github.com/repos/rafaelkperes/heraclito/commits/0b5e4866eacd2f2ff2eac9d4373f45e33fbe0a9e"}]}