{"push_id":620731085,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"cdec1fafea24634b2f705d28c28ab104ec2de50b","before":"b53b26bf92a36a1d6174dfa9f7b27b1610836eea","commits":[{"sha":"1873ad2659baf93eb89307d4a49b3935e158fe9c","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"refactor(11_Tactics.org): rename chapter title to 'Tactics'","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/1873ad2659baf93eb89307d4a49b3935e158fe9c"},{"sha":"733d15963d5601961ce42e82593f3cc6134f767e","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(09_Type_Classes.org): fix typos and polish","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/733d15963d5601961ce42e82593f3cc6134f767e"},{"sha":"68eb9ab6a77c4157adfd19222398999c58a4d8d8","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(10_Structures_and_Records.org): make stylistic changes and fixes","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/68eb9ab6a77c4157adfd19222398999c58a4d8d8"},{"sha":"3c07c3b3f2fa2a7167c08ca2b538a03831e34a66","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(09_Type_Classes.org): add better explanation of trace mechanism","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/3c07c3b3f2fa2a7167c08ca2b538a03831e34a66"},{"sha":"1889b9c1f6bb086a388df7073f0cc3b18b88ed42","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat(08_Building_Theories_and_Proofs.org): decribe --profile option","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/1889b9c1f6bb086a388df7073f0cc3b18b88ed42"},{"sha":"b69cf527b22478a796e8655dc55b4466ea424a83","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat/refactor(11_Tactics.org): polish chapter, add examples and explanations","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/b69cf527b22478a796e8655dc55b4466ea424a83"},{"sha":"4ef538d5ae6f54b8b7cbc89b1e38faef39a74245","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(03_Propositions_and_Proofs.org): fix typo. Closes #79.","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/4ef538d5ae6f54b8b7cbc89b1e38faef39a74245"},{"sha":"cdec1fafea24634b2f705d28c28ab104ec2de50b","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"fix(11_Tactics.org): capitalize section","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/cdec1fafea24634b2f705d28c28ab104ec2de50b"}]}