{"push_id":1214625899,"size":4,"distinct_size":4,"ref":"refs/heads/lean3","head":"fa04e5f36fba97f7874f93c188217b571dde5471","before":"90eb79a295c3ce963fe68bcd4f4c5a234fe5843c","commits":[{"sha":"1b555079715d36a1d5119dc59568b540b187ba4c","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(library/init/meta): rename C++ intro to intro_core, and define smarter intro in C++","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/1b555079715d36a1d5119dc59568b540b187ba4c"},{"sha":"d70bf2f04e0195213f5e7ac0bfc45e73971415b7","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(library/init/meta): move simplifier related tactics to separate file","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/d70bf2f04e0195213f5e7ac0bfc45e73971415b7"},{"sha":"ada260309e2d30b2ecb153ddba1c10b4b4aa8bb3","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(library/init/meta): move defeq simplifier related tactics to separate file","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/ada260309e2d30b2ecb153ddba1c10b4b4aa8bb3"},{"sha":"fa04e5f36fba97f7874f93c188217b571dde5471","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"refactor(library/init/meta): move set/get option tactics to separate file","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/fa04e5f36fba97f7874f93c188217b571dde5471"}]}
{"actor":{"display_login":"leodemoura"}}