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