Welcome to the metis-users mailing list! Users of the Metis theorem prover are encouraged to join and discuss bug reports, new features and applications, and anything else relevant to Metis. Cheers, Joe