0

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

1
  • As I understand it, collectives are for single products owned by a single company. Doesn't seem suited for a class of products.
    – Raphael
    Jan 17 at 11:39

0

You must log in to answer this question.

Browse other questions tagged .