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

2
  • Long story short. At the present time with the Proof Assistants site about to come online the timing is bad. In the long plan I don't see this as something I would support without a due diligence report.
    – Guy Coder
    Dec 2 '21 at 10:07
  • 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

You must log in to answer this question.

Browse other questions tagged .