Area 51 » Cheery
|
Registered User
|
A programmer hobbyist. |
network profile
| 0 |
Proposals |
| 0 |
Current Commitments |
| 1 |
Fulfilled Commitment |
1k
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.| 0 |
Followed |
| 0 | Votes Cast |
