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