Could we use a Stack Overflow Collective for Proof Assistants?

Question

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