TrueBadges

71,892 badges
Site ↑ Name Awarded Score
Proof Assistants lean 1 1,000
Proof Assistants coq 3 863
Proof Assistants lean4 0 0
Proof Assistants Guide 0 0
Proof Assistants First Review 0 0
Proof Assistants Swift Editor 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 914
Proof Assistants Meta Suffrage 0 0
Proof Assistants Meta Analytical 0 0
Proof Assistants Meta Excavator 0 0
Proof Assistants Meta Proofreader 0 0
Proof Assistants Meta Synonymizer 0 0
Proof Assistants Meta Vox Populi 0 0
Proof Assistants Meta Precognitive 0 0
Proof Assistants Meta Talkative 0 0
Proof Assistants Meta Revival 3 814
Proof Assistants Meta Commentator 7 670
Proof Assistants Meta Student 41 369
Proof Assistants Meta Editor 23 467
Proof Assistants Meta Cleanup 4 765
Proof Assistants Meta Organizer 8 647
Proof Assistants Meta Supporter 134 168
Proof Assistants Meta Critic 44 357
Proof Assistants Meta Citizen Patrol 5 727
Proof Assistants Meta Autobiographer 292 35
Proof Assistants Meta Scholar 16 529
Proof Assistants Meta Self-Learner 1 1,000
Proof Assistants Meta Nice Question 13 564
Proof Assistants Meta Nice Answer 12 578
Proof Assistants Meta Teacher 38 382
Proof Assistants Meta Popular Question 0 0
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
Proof Assistants Meta Investor 0 0
Proof Assistants Meta Promoter 0 0
Proof Assistants Meta Benefactor 0 0
Proof Assistants Meta Altruist 0 0
Proof Assistants Meta Tag Editor 7 670
Proof Assistants Meta Announcer 1 1,000