Area 51 » Randolph Millerson
|
Registered User
|
I'm a learning coder, finding out more - My stackoverflow number is 16543631. I recently proposed the Cryptocurrency & Blockchain site! |
network profile
| 0 |
Proposals |
| 1 |
Current Commitment |
102
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.| 0 |
Fulfilled Commitments |
| 0 |
Followed |
| 27 | Votes Cast |
10 up
17 down
