Skip to main content
Proof Assistants Meta

Teacher

 Teacher
Answer a question with score of 1 or more.
Awarded 36 times.
Code Reviews on topic?
Awarded Jun 14 at 1:48
User Abusing the System for Homework Problem?
Awarded Jun 16, 2022 at 0:15
Enabling syntax highlighting of Lean and Coq
Awarded May 8, 2022 at 17:31
How detailed should tags be?
Awarded Apr 29, 2022 at 15:30
2022 Community Moderator Election Results
Awarded Apr 10, 2022 at 18:47
How can the actual count of those eligible to vote be determined?
Awarded Mar 29, 2022 at 15:31
How can the actual count of those eligible to vote be determined?
Awarded Mar 29, 2022 at 14:01
What should the name of our main chatroom be?
Awarded Mar 2, 2022 at 18:32
What should the name of our main chatroom be?
Awarded Feb 27, 2022 at 16:32
Should we allow Rosetta-Stone style questions?
Awarded Feb 17, 2022 at 0:31
Low-quality tags
Awarded Feb 13, 2022 at 21:31
What should the name of our main chatroom be?
Awarded Feb 13, 2022 at 6:18
Removing the [recommendations] tag
Awarded Feb 13, 2022 at 0:31
Should questions arising from computational logic be asked?
Awarded Feb 12, 2022 at 10:03
Why is a question about dependent type theory off topic?
Awarded Feb 11, 2022 at 22:00
Is this for assistants only, excluding automated provers?
Awarded Feb 11, 2022 at 17:01
Are SE "power users" trying to seed the site with "interesting questions"?
Awarded Feb 11, 2022 at 12:30
Can the SE staff give this site more love and attention, we are only two days old? :-)
Awarded Feb 10, 2022 at 17:30
Should questions arising from computational logic be asked?
Awarded Feb 10, 2022 at 14:46
What should the name of our main chatroom be?
Awarded Feb 10, 2022 at 6:32
Close vote reviews are not triggered
Awarded Feb 9, 2022 at 21:15
What should the name of our main chatroom be?
Awarded Feb 9, 2022 at 20:31
What should the name of our main chatroom be?
Awarded Feb 9, 2022 at 20:31
What should the name of our main chatroom be?
Awarded Feb 9, 2022 at 20:31
Now that we have our first wiki answer should all the other answers be combined into one?
Awarded Feb 9, 2022 at 20:31
Policy on self-answers
Awarded Feb 9, 2022 at 20:31
Vote to Migrate suggestion: Stack overflow
Awarded Feb 9, 2022 at 20:31
Syntax highlighting for proof assistants
Awarded Feb 9, 2022 at 20:31
What should the name of our main chatroom be?
Awarded Feb 9, 2022 at 20:31
Are SE "power users" trying to seed the site with "interesting questions"?
Awarded Feb 9, 2022 at 20:31
Close vote reviews are not triggered
Awarded Feb 9, 2022 at 20:31
Should questions arising from computational logic be asked?
Awarded Feb 9, 2022 at 20:31
Syntax highlighting for proof assistants
Awarded Feb 9, 2022 at 20:31
Badges not being received
Awarded Feb 9, 2022 at 20:31
What are my current privileges?
Awarded Feb 9, 2022 at 20:31
Administrators and Permissions
Awarded Feb 9, 2022 at 20:31