{"push_id":872499010,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"6bd92e144a21c629f346a3cd29eee67a32c54b51","before":"3523e32345829f7775f758d0aeecd88ff38e5c6f","commits":[{"sha":"5ada4312d783d48a77a0bf9018566802cf4af9d6","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"feat(library/blast/forward): propositional forward chaining","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/5ada4312d783d48a77a0bf9018566802cf4af9d6"},{"sha":"b1777855cf9bb2caf55b02f5b2b4729f5a357b56","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"chore(util/rb_multi_map): remove unnecessary includes","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b1777855cf9bb2caf55b02f5b2b4729f5a357b56"},{"sha":"6bd92e144a21c629f346a3cd29eee67a32c54b51","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"test(tests/lean/run/blast20): uncomment example that can now be solved","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/6bd92e144a21c629f346a3cd29eee67a32c54b51"}]}