Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a StackExchange site is like in its initial beginnings, want to help shape the future of that site, or just want the silver beta badge, then I highly recommend getting...