Area 51 » max taldykin

309
reputation
14 views
discussion user
network profile

Registered User

name max taldykin
member for 11 years
seen Feb 15 at 19:28
website
location Moscow, Russia

nothing special

0

Proposals


1

Current Commitment

101
days

Proof Assistants

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

0

Fulfilled Commitments


0

Followed


0

Example Questions


9

Votes Cast

9 up

0 down