タクティク逆引きリストは Lean by Example と改名され，リポジトリも移動しました.
https://github.com/lean-ja/lean-by-example
お手数ですがブックマークの変更，リンクの修正をお願いいたします．
タクティク逆引きリストは Lean by Example と改名され，リポジトリも移動しました.
https://github.com/lean-ja/lean-by-example
お手数ですがブックマークの変更，リンクの修正をお願いいたします．