Skip to content

Issues: lean-ja/tactic-cheatsheet

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

31 Open 121 Closed
31 Open 121 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Leanのベストプラクティス LeanByExample移行
#190 opened Jun 5, 2024 by Seasawher
2
Autoimplicit が誤解を招く例 LeanByExample移行
#189 opened Jun 5, 2024 by Seasawher
1
マッカーシーの M 関数
#188 opened Jun 3, 2024 by Seasawher
1
Prop からは Prop しか取り出せない LeanByExample移行
#186 opened Jun 2, 2024 by Seasawher
1
#whnf コマンド
#185 opened Jun 2, 2024 by Seasawher
1
ビルドコマンドを登録する enhancement New feature or request
#176 opened May 31, 2024 by Seasawher
cc タクティクを紹介する 新規タクティク・コマンド 紹介するタクティクやコマンドを紹介する
#173 opened May 29, 2024 by Seasawher
rfl により「定義から等しい」等式が示せるとはどういうことか？ 補足情報 豆知識や便利なTips，よくあるエラーなど
#171 opened May 28, 2024 by Seasawher
proof_wanted はLean構文リストの方へ引っ越し LeanByExample移行
#170 opened May 26, 2024 by Seasawher
simps属性を simp と別ページで紹介する refactor makeing code better without adding new features
#169 opened May 26, 2024 by Seasawher
1
simp only の使い方について明記する 補足情報 豆知識や便利なTips，よくあるエラーなど
#158 opened May 14, 2024 by Seasawher
@Seasawher
rw? を独立させる
#157 opened May 7, 2024 by Seasawher
@Seasawher
タグと属性の混同がある 誤り 記述の間違い
#149 opened Apr 26, 2024 by Seasawher
@Seasawher
let による自明なパターン枝の省略について 補足情報 豆知識や便利なTips，よくあるエラーなど
#144 opened Apr 23, 2024 by Seasawher
@Seasawher
rw?? を紹介する 新機能 Leanやmathlibのアップデートで導入された新機能
#141 opened Apr 19, 2024 by Seasawher
@Seasawher
symm を紹介する 新規タクティク・コマンド 紹介するタクティクやコマンドを紹介する
#138 opened Apr 17, 2024 by Seasawher 使用頻度の高いタクティクを紹介する
@Seasawher
norm_num を紹介する 新規タクティク・コマンド 紹介するタクティクやコマンドを紹介する
#137 opened Apr 17, 2024 by Seasawher
@Seasawher
cases .. caseとcases .. with 補足情報 豆知識や便利なTips，よくあるエラーなど
#133 opened Apr 14, 2024 by Seasawher
@Seasawher
2
injection タクティクを紹介する 新規タクティク・コマンド 紹介するタクティクやコマンドを紹介する
#131 opened Apr 14, 2024 by Seasawher
@Seasawher
1
cases ではできるけど induction ではできない例 help wanted Extra attention is needed
#129 opened Apr 14, 2024 by Seasawher
@Seasawher
revert を紹介する help wanted Extra attention is needed 新規タクティク・コマンド 紹介するタクティクやコマンドを紹介する
#128 opened Apr 14, 2024 by Seasawher
@Seasawher
slim_check について 補足情報 豆知識や便利なTips，よくあるエラーなど
#127 opened Apr 14, 2024 by Seasawher
@Seasawher
show_unused コマンド 新機能 Leanやmathlibのアップデートで導入された新機能
#125 opened Apr 14, 2024 by Seasawher
@Seasawher
= 以外の calc の例を紹介する 補足情報 豆知識や便利なTips，よくあるエラーなど
#123 opened Apr 13, 2024 by Seasawher
@Seasawher
1
aesop attribute の書き方を説明する help wanted Extra attention is needed
#120 opened Apr 11, 2024 by Seasawher
@Seasawher
ProTip! no:milestone will show everything without a milestone.