TrueBadges

71,960 badges
Site ↑ Name Awarded Score
Proof Assistants Guide 0 0
Proof Assistants Marshal 0 0
Proof Assistants Steward 0 0
Proof Assistants Socratic 0 0
Proof Assistants Constable 5 800
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 914
Proof Assistants coq 3 864
Proof Assistants lean4 0 0
Proof Assistants Reversal 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 Yearling 452 240
Proof Assistants Epic 0 0
Proof Assistants Notable Question 37 552
Proof Assistants Civic Duty 12 692
Proof Assistants Favorite Question 1 1,000
Proof Assistants Good Answer 31 574
Proof Assistants Good Question 29 582
Proof Assistants Generalist 0 0
Proof Assistants Necromancer 17 648
Proof Assistants Guru 4 828
Proof Assistants Enlightened 105 422
Proof Assistants Taxonomist 11 702
Proof Assistants Strunk & White 2 914
Proof Assistants Enthusiast 44 530
Proof Assistants Great Question 0 0
Proof Assistants Great Answer 0 0
Proof Assistants Stellar Question 0 0
Proof Assistants Famous Question 5 800
Proof Assistants Populist 1 1,000
Proof Assistants Legendary 0 0
Proof Assistants Electorate 0 0
Proof Assistants Copy Editor 0 0
Proof Assistants Fanatic 15 664
Proof Assistants Unsung Hero 0 0
Proof Assistants Publicist 0 0