Proposed StackExchange site for Proof Assistants

The site Proof Assistants has been proposed for StackExchange.

At the rate it is progressing it might be in the private beta in a few hours and closed to the public for several days. :slight_smile:


image

X-axis: Hours
Y-axis: Committers (Basically 200 needed).