Proposal: Proof Assistants
Recently, Stack Overflow Collectives are introduced:
https://stackoverflow.com/collectives/
There's a Go Lang Collective, for example, already with 14k users:
https://stackoverflow.com/collectives/go
Is this something better suited for us?
EDIT: literature:
https://meta.stackoverflow.com/questions/413358/the-foundations-of-collectives-and-its-future?cb=1