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
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!