TrueBadges

72,191 badges
Site ↑ Name Awarded Score
Proof Assistants Swift Editor 0 0
Proof Assistants Socratic 0 0
Proof Assistants Constable 5 802
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 865
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 Reversal 0 0
Proof Assistants Publicist 0 0
Proof Assistants Unsung Hero 0 0
Proof Assistants Fanatic 16 658
Proof Assistants Copy Editor 0 0
Proof Assistants Meta Student 41 371
Proof Assistants Meta Teacher 38 384
Proof Assistants Meta Editor 23 469
Proof Assistants Meta Cleanup 4 766
Proof Assistants Meta Organizer 8 648
Proof Assistants Meta Supporter 135 170
Proof Assistants Meta Critic 44 359
Proof Assistants Meta Citizen Patrol 5 728
Proof Assistants Meta Autobiographer 309 29
Proof Assistants Meta Scholar 16 531
Proof Assistants Meta Self-Learner 1 1,000
Proof Assistants Meta Nice Question 13 566
Proof Assistants Meta Nice Answer 12 580
Proof Assistants Meta Commentator 7 671
Proof Assistants Meta Popular Question 1 1,000
Proof Assistants Meta Disciplined 2 883
Proof Assistants Meta Peer Pressure 2 883
Proof Assistants Meta Tumbleweed 0 0
Proof Assistants Meta Mortarboard 2 883