Proposed Q&A site for mathematicians and computer scientists who develop and use proof assistants.
Currently in commitment.