Proposal: Proof Assistants
In the comments below from an SE staff member it is noted
anyone can create tags on a whim in the private beta
which was nice to learn.
AFAIK the Private Beta last about 7 days. Based on this post during the private beta only 1 rep point is needed. However when the Public Beta phase starts 150 rep is needed which many should have but not all. So if you have low rep don't be surprised if you loose the privilege to create tags if/when the site transitions from Private Beta to Public Beta. :-)
As many know tags are useful and necessary.
One set of obvious starting tags is one for each of the Proof Assistants. These should be further clarified with version numbers and/or what ever means is used to indicate breaking changes, e.g. for StackOverflow C# has tags for C#, c#-2.0 ... c#-10.0 and even some variations for version 7, c#-7.1 ... c#-7.3
While I think there should be some basic starting tags I don't think it should be a free-for-all of creating tags. As the list of questions grows based on the user base the tags needed should be self-evident.
What other tags would be good at the start for the site Proof Assistants?