2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/132192Slavnov-Taylor 1.0 is a Mathematica package which allows us to perform automatic symbolic computation in BRST formalism. This article serves as a self-contained guide to prospective users, and indicates the conventions and approximations used.1+11 pages, 2 figures, LaTeX graphicx package used; accepted for publication in Computer Physics CommunicationsHigh Energy Physics - Theorytext