aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine/tactics.rst
blob: 29e0b34bc655e2a7bbb5f414774a4a55a20b2e75 (plain)
blob size (167KB) exceeds display size limit (128KB).