Welcome to the opentheory-users mailing list! Users of the OpenTheory proof archive are encouraged to join and discuss bug reports, new features and applications, and anything else relevant to OpenTheory. Cheers, Joe