  Slavnov-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.
