Update README.md

lean-ja · Sep 21, 2023 · 5ffd479 · 5ffd479
1 parent d4514b5
commit 5ffd479
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -3,6 +3,3 @@
 Lean4 の主要なタクティクを使いたい場面から逆引きできるようにまとめたリストです．
 
 誤りの指摘，編集の提案や寄稿を歓迎いたします．この GitHubリポジトリに issue や Pull Request を開いてください．その際の決まりごとが [CONTRIBUTING](./CONTRIBUTING.md) にまとめてあります．
-
-* [Lean勉強会のタクティクのリスト](https://github.com/yuma-mizuno/lean-math-workshop/blob/master/Tutorial/Basic/Tactics.lean)
-* [全タクティク一覧](https://github.com/haruhisa-enomoto/mathlib4-all-tactics/blob/main/all-tactics.md)