Documentation

Lean.Linter.TacticTypeCheck