Subject: Mailing list for the Psyche prover

Description: This is a mailing list for the users of the Psyche prover, to discuss with contributors.