Theorem Prover Museum: Community

The Theorem Prover Museum is a community effort:

• Contributors
• We will set up mailing lists soon.
• Project planning is done by the GitHub issue tracker
• you can keep up to date about the developments via our news feed