TrueBadges

72,129 badges
Site ↑ Name Awarded Score
Proof Assistants Swift Editor 0 0
Proof Assistants Socratic 0 0
Proof Assistants Constable 5 801
Proof Assistants Sheriff 0 0
Proof Assistants Lifeboat 0 0
Proof Assistants Illuminator 0 0
Proof Assistants Favorite Answer 0 0
Proof Assistants Stellar Answer 0 0
Proof Assistants lean 2 915
Proof Assistants coq 3 864
Proof Assistants lean4 0 0
Proof Assistants Guide 0 0
Proof Assistants First Review 0 0
Proof Assistants Steward 0 0
Proof Assistants Eager Learner 0 0
Proof Assistants Variety Reviewer 0 0
Proof Assistants Daily Practice 0 0
Proof Assistants Graduate 0 0
Proof Assistants Polisher 0 0
Proof Assistants Steadfast Reviewer 0 0
Proof Assistants Instructor 0 0
Proof Assistants Champion Reviewer 0 0
Proof Assistants type-theory 1 1,000
Proof Assistants beginner 2 915
Proof Assistants lean 1 1,000
Proof Assistants Marshal 0 0
Proof Assistants Strunk & White 2 915
Proof Assistants Yearling 457 241
Proof Assistants Great Question 0 0
Proof Assistants Great Answer 0 0
Proof Assistants Stellar Question 0 0
Proof Assistants Famous Question 5 801
Proof Assistants Populist 1 1,000
Proof Assistants Electorate 0 0
Proof Assistants Copy Editor 0 0
Proof Assistants Fanatic 16 657
Proof Assistants Unsung Hero 0 0
Proof Assistants Publicist 0 0
Proof Assistants Reversal 0 0
Proof Assistants Legendary 0 0
Proof Assistants Meta Student 41 370
Proof Assistants Meta Editor 23 468
Proof Assistants Meta Cleanup 4 765
Proof Assistants Meta Organizer 8 647
Proof Assistants Meta Supporter 134 168
Proof Assistants Meta Critic 44 358
Proof Assistants Meta Citizen Patrol 5 727
Proof Assistants Meta Autobiographer 300 32
Proof Assistants Meta Scholar 16 529
Proof Assistants Meta Teacher 38 383