{"push_id":696352450,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"7ac1f948a649517f862593ddd2d670c8fa2da8ec","before":"ce74424b2f7d384f72f11c9c610729c6f445496d","commits":[{"sha":"b220ef2682f928d64abc611392755deae8571ff8","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(06): 'typeof' was removed from Lean","distinct":true,"url":"https://api.github.com/repos/avigad/tutorial/commits/b220ef2682f928d64abc611392755deae8571ff8"},{"sha":"eaf9cd9a7f3018cc7c9ed60f0af8fca92a5b14b3","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"refactor(08_Building_Theories_and_Proofs.org): routine corrections and polishing","distinct":true,"url":"https://api.github.com/repos/avigad/tutorial/commits/eaf9cd9a7f3018cc7c9ed60f0af8fca92a5b14b3"},{"sha":"7ac1f948a649517f862593ddd2d670c8fa2da8ec","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat(03_Propositions_and_Proofs.org): expand explanation of propositions-as-types","distinct":true,"url":"https://api.github.com/repos/avigad/tutorial/commits/7ac1f948a649517f862593ddd2d670c8fa2da8ec"}]}