Area 51 » Eugene Lomov

742
reputation
53 views
discussion user
network profile

Registered User

name Eugene Lomov
member for 6 years
seen May 17 at 22:33
website
location Moscow

Russian undergraduate student at Faculty of Physics (Lomonosov Moscow State University).

0

Proposals


2

Current Commitments

108
days

Proof Assistants

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

Solana

For solana software users and developers.
define
commit
beta

0

Fulfilled Commitments


0

Followed


0

Example Questions


28

Votes Cast

27 up

1 down