mathlib documentation

tactic writing

Tutorial: tactic writing in Lean #

This page has moved to the leanprover-community website.