Proposal: Proof Assistants

Recently, Stack Overflow Collectives are introduced:


There's a Go Lang Collective, for example, already with 14k users:


Is this something better suited for us?

EDIT: literature:


  • 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 .