うかうかしていたら7月になりました. 今はまだ7月になった程度で済んでいますが,そのうち8月もやってくることでしょう.特にキリは良くありませんが,このあたりで再び振り返り記事を書こうと思います.前回の振り返り記事は4月8日で,だいたい3カ月経っています. seasawher.hatenablog.com Lean by Example lean-ja.github.io 「タクティク逆引きリスト」にかなり気合を入れて更新を叩き込みました. まず,以前は Lean と Mathlib のタクティクを紹介するだけの本だったのですが,def や inductive や #check といったコマンドについても紹介するようになり,名前も「Lean by Example」と改めました.これはかなり大きな変更です. リンク切れが怖いので「タクティク逆引きリスト」とは別の書籍として作ろうと思っていたので