fix(docs/tactics.md): missing backquote, formatting
fix(docs/tactics.md): missing backquote, formatting

I think I never previewed when I updated the `linarith` doc before, sorry.
leanprover-community/mathlib,leanprover-community/mathlib