Area 51 » Randolph Millerson

616
reputation
63 views
discussion user
network profile

Registered User

name Randolph Millerson
member for 7 months
seen Apr 23 at 11:49
website
location SkyCity

I'm a learning coder, finding out more - My stackoverflow number is 16543631. I recently proposed the Cryptocurrency & Blockchain site!

0

Proposals


1

Current Commitment

102
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


27

Votes Cast

10 up

17 down