/tactic-cheatsheet

Lean4 の逆引きタクティクリスト

Primary LanguageLeanMIT LicenseMIT

README

Lean4 の主要なタクティクを使いたい場面から逆引きできるようにまとめたリストです．

誤りの指摘，編集の提案や寄稿を歓迎いたします．この GitHubリポジトリに issue や Pull Request を開いてください．その際の決まりごとが CONTRIBUTING にまとめてあります．