Questions asked by a beginner user of proof assistants. We make an effort to be extra kind to such users.

New users are more likely to make mistakes, explain things using the wrong terminology, not know the ethos of the community and seem like eager beavers. Be welcoming and give them a chance to become members of the community.