Beta - Badge - Proof Assistants Stack Exchange

Beta

Voted 10 times, added 3 posts score > 0, and visited the site on 3 separate days during the private beta.

Awarded 56 times.

Awarded Mar 15, 2022 at 17:07 to

James Martin

9953 silver badges21 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Jonathan Sterling

5604 silver badges13 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Cheery

6714 silver badges14 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Wno-all

1,0883 silver badges20 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Mike Shulman

2,8824 silver badges30 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Wojowu

9884 silver badges23 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Trebor♦

3,4801 gold badge6 silver badges32 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Couchy♦

2,0612 gold badges7 silver badges36 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Dima Pasechnik

4803 silver badges11 bronze badges

Awarded Mar 15, 2022 at 17:07 to

András Kovács

1,8726 silver badges15 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Li-yao Xia

1,3574 silver badges11 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Will Sawin

8813 silver badges16 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Bjørn Kjos-Hanssen

5244 silver badges11 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Bruno Le Floch

4823 silver badges10 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Zimm i48

5724 silver badges9 bronze badges

Awarded Mar 15, 2022 at 17:07 to

It'sNotALie.

1,3475 silver badges19 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Greg Nisbet

2,6713 silver badges30 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Rob Lewis

5835 silver badges11 bronze badges

Awarded Mar 15, 2022 at 17:07 to

ice1000

5,4848 silver badges56 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Dustin G. Mixon

9313 silver badges8 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Joey Eremondi

6982 silver badges10 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Sebastian Ullrich

1,6028 silver badges16 bronze badges

Awarded Mar 15, 2022 at 17:07 to

taylor.2317

1,2587 silver badges33 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Alex Nelson

1,4395 silver badges19 bronze badges

Awarded Mar 15, 2022 at 17:07 to

ionchy

9062 silver badges18 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Nike Dattani

1,10511 silver badges29 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Guy Coder

2,7961 gold badge10 silver badges38 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Ana Borges

8963 silver badges10 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Jason Rute

6,0081 gold badge13 silver badges42 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Neil Strickland

9773 silver badges21 bronze badges

Awarded Mar 15, 2022 at 17:07 to

jmc

6863 silver badges12 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Michael Norrish

9955 silver badges14 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Dan Doel

9304 silver badges6 bronze badges

Awarded Mar 15, 2022 at 17:07 to

user9716869 - supports Ukraine

8053 silver badges12 bronze badges

Awarded Mar 15, 2022 at 17:07 to

march

3634 silver badges9 bronze badges

Awarded Mar 15, 2022 at 17:07 to

mudri

6483 silver badges15 bronze badges

Awarded Mar 15, 2022 at 17:07 to

tinlyx

1,5161 gold badge4 silver badges24 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Pedro Sánchez Terraf

8533 silver badges17 bronze badges

Awarded Mar 15, 2022 at 17:07 to

M. Lonardi

3632 silver badges5 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Maximilian Doré

6362 silver badges5 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Meven Lennon-Bertrand

3,4096 silver badges19 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Joachim Breitner

1,6345 silver badges23 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Neel Krishnaswami

1,8734 silver badges15 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Agnishom Chattopadhyay

1,1695 silver badges17 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Bolton Bailey

6663 silver badges10 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Kevin Buzzard

2,03411 silver badges20 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Andrew Marmaduke

8094 silver badges13 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Bubbler

6743 silver badges15 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Loïc

1,3497 silver badges14 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Namdak Tönpa

1,2376 silver badges26 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Pierre-Marie Pédrot

2,1968 silver badges17 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Andrej Bauer

6,93719 silver badges55 bronze badges

Awarded Mar 15, 2022 at 17:07 to

hardmath

5391 gold badge4 silver badges15 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Molossus Spondee

2,6485 silver badges20 bronze badges

Awarded Mar 15, 2022 at 17:07 to

ErikMD

4175 silver badges12 bronze badges

Awarded Mar 15, 2022 at 17:07 to

Glorfindel

6711 gold badge5 silver badges24 bronze badges