Area 51 » Artem Pelenitsyn

151
reputation
10 views
discussion user
network profile

Registered User

name Artem Pelenitsyn
member for 10 years
seen Feb 2 at 2:26
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

137
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


7

Votes Cast

7 up

0 down