Subject: Email contact for the Vampire prover

Description: This is the email list for contacting the main developers of the Vampire prover. The development of the Vampire provers is lead at the TU Wien, by Laura Kovacs, Marton Hajdu and their teams.