Area 51 » Anton Trunov

734
reputation
52 views
discussion user
network profile

Registered User

name Anton Trunov
member for 5 years
seen Dec 15 '21 at 21:16
website
location Saint Petersburg, Russia
0

Proposals


1

Current Commitment

363
committed

Proof Assistants

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

0

Fulfilled Commitments


1

Followed

363
committed

Proof Assistants

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

20

Votes Cast

19 up

1 down