Proposal: Proof assistants

I also wonder if these questions should be migrated to the new site if it's created successfully?

  • 5
    Do the OP of such questions really want them moved? If they are existing questions then it seems that they will not be moved. (ref).
    – Guy Coder
    Nov 20 at 17:54
  • 1
    Thanks for the reference! @GuyCoder
    – ice1000
    Nov 20 at 21:32

I believe searching by tags on StackOverflow already shows a looot:

The above tags are strictly about proof assistants, but mostly using them.

On SE CS, there are also plenty of them:

We also have questions about designing and implementing proof assistants.

On SE TCS (pretty much the same tags):

  • Note that some questions with these tags might refer to programming with dependent types rather than using them for theorem proving, so they would not strictly fall under "proof assistants".
    – Jesper
    Nov 20 at 14:53

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .