Tags
A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
Use if the question you're asking is designed to reflect different opinions or best-practices on a particular topic, with the goal of reaching community consensus.
62 questions
Questions for when you need help with the use of one or more of the site's features.
12 questions
For questions regarding tag on the main (non-meta) site.
12 questions
Questions regarding an error or unexpected behaviour in the system that needs to be fixed.
8 questions
Use if you want to ask about an idea for a new feature, or for a change to the existing functionality.
6 questions
5 questions
when you ask a question on the meta that is referencing question(s) on the Proof Assistants main site.
5 questions
Used for asking questions to the moderators, or the moderation of the site. As the site is in private beta, there are currently no moderators.
4 questions
For questions discussing the scope of the site, including what is on or off topic.
4 questions
3 questions
to query the community on the specifics of a particular question asked on the Proof Assistants main site or its Meta.
3 questions
3 questions
3 questions
For questions about the badge system on the Stack Exchange network. Badges are awarded to encourage and incentivize positive community actions within the site.
2 questions
2 questions
2 questions
2 questions
2 questions
2 questions
2 questions
2 questions
2 questions
1 question
1 question
1 question
1 question
Indicates that the reported behavior is intentional and not subject to change
1 question
1 question