mathlib3
doc(docs/extras/tactic_writing) add cheap method
#2198
Merged

doc(docs/extras/tactic_writing) add cheap method #2198

mergify merged 7 commits into master from kbuzzard-tactic-doc-patch
kbuzzard
kbuzzard doc(docs/extras/tactic_writing) add cheap method
046b45a9
kbuzzard style fixes
aba9ef99
robertylewis
robertylewis commented on 2020-03-20
kim-em kim-em added awaiting-author
kim-em
bryangingechen
robertylewis
kbuzzard
kbuzzard
robertylewis
kbuzzard Update tactic_writing.md
fc0fc2ac
kbuzzard
kbuzzard Update tactic_writing.md
075fc162
robertylewis
robertylewis commented on 2020-04-06
robertylewis Update docs/extras/tactic_writing.md
151676c9
kbuzzard Merge branch 'master' into kbuzzard-tactic-doc-patch
f34a272d
kbuzzard
robertylewis
gebner
robertylewis
gebner
kbuzzard kbuzzard removed awaiting-author
kbuzzard kbuzzard added awaiting-review
robertylewis
robertylewis approved these changes on 2020-04-09
robertylewis robertylewis removed awaiting-review
robertylewis robertylewis added ready-to-merge
mergify[bot] Merge branch 'master' into kbuzzard-tactic-doc-patch
fa88b162
mergify mergify merged bda8a050 into master 5 years ago
mergify mergify deleted the kbuzzard-tactic-doc-patch branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone