Area 51 » Artem Pelenitsyn
|
Registered User
|
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.0 |
Fulfilled Commitments |
0 |
Followed |
7 | Votes Cast |
7 up
0 down