151
reputation
6 views
network profile

Registered User

name andreypopp
member for 11 years
seen Nov 21 '21 at 8:19
website
location St.Petersburg, Russia

Optimist

0

Proposals


1

Current Commitment

376
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Fulfilled Commitments


1

Followed

376
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Example Questions


16

Votes Cast

16 up

0 down