Area 51 » Artem Pelenitsyn

151
reputation
10 views
discussion user
network profile

Registered User

name Artem Pelenitsyn
member for 10 years
seen Nov 26 '21 at 2:14
website
location Boston, USA

MSc in applied mathematics and computer science from Southern Federal University (Rostov-on-Don, Russia). Interested in functional programming, compilers, programming languages theory.

0

Proposals


1

Current Commitment

351
committed

Proof Assistants

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

0

Fulfilled Commitments


1

Followed

351
committed

Proof Assistants

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

0

Example Questions


7

Votes Cast

7 up

0 down