View badges| Name | Awarded | Score |
|---|---|---|
| coq | 3 | 862 |
| Inquisitive | 3 | 862 |
| Investor | 2 | 913 |
| beginner | 2 | 913 |
| lean4 | 2 | 913 |
| Famous Question | 2 | 913 |
| Strunk & White | 2 | 913 |
| Convention | 2 | 913 |
| Pundit | 1 | 1,000 |
| Populist | 1 | 1,000 |
| Favorite Question | 1 | 1,000 |
| Booster | 1 | 1,000 |
| lean | 1 | 1,000 |
| Research Assistant | 1 | 1,000 |
| Altruist | 1 | 1,000 |
| Reviewer | 1 | 1,000 |
| type-theory | 1 | 1,000 |
| Steward | 0 | 0 |
| Tumbleweed | 0 | 0 |
| Electorate | 0 | 0 |
| Copy Editor | 0 | 0 |
| Unsung Hero | 0 | 0 |
| Publicist | 0 | 0 |
| Reversal | 0 | 0 |
| Marshal | 0 | 0 |
| Socratic | 0 | 0 |
| Stellar Question | 0 | 0 |
| Sheriff | 0 | 0 |
| Lifeboat | 0 | 0 |
| Illuminator | 0 | 0 |
| Favorite Answer | 0 | 0 |
| Analytical | 0 | 0 |
| Sportsmanship | 0 | 0 |
| Census | 0 | 0 |
| Documentation User | 0 | 0 |
| Lifejacket | 0 | 0 |
| Documentation Pioneer | 0 | 0 |
| Archaeologist | 0 | 0 |
| Documentation Beta | 0 | 0 |
| Outspoken | 0 | 0 |
| Deputy | 0 | 0 |
| Legendary | 0 | 0 |
| Tenacious | 0 | 0 |
| Epic | 0 | 0 |
| Generalist | 0 | 0 |
| Refiner | 0 | 0 |
| Great Question | 0 | 0 |
| Great Answer | 0 | 0 |
| Not a Robot | 0 | 0 |
| Buzz | 0 | 0 |