Proposal: Proof Assistants
Since about half of those who committed appear to be new to StackExchange in doing a quick search for a somewhat quick and general introduction on how such sites work I found this post: How does Ask Ubuntu work?
As you follow along, just mentally replace Ask Ubuntu with the name for the new site Proof Assistants and it should be pretty much what to expect for the site in Beta.
StackExchange sites use reputation to earn privileges. During the Private Beta the rep required for some privileges is extremely low and will then increase for the Public Beta.
See this post for more detail.
It seems the Private Beta will last about 3 weeks (ref) but it is relatively short.
The Public Beta can last from months to years.
Thanks for committing!
