We want to record our school anthem but one issue we have

We want to record our school anthem. Someone suggest us that we should use this software but any of us don’t know about auto tuning. Someone kindly help. t is here [link deleted}

It would probably be easiest to just use a portable digital recorder, such as one of the Zoom or Tascam recorders. They have built-in microphones and record to a flash drive. They are relatively easy to use and produce good quality for the price. If your music department does not have one, then perhaps you could suggest that they get one. They are extremely useful for recording the progress of students in music classes.