Area 51 » Joe Kerr
|
Registered User
|
Another random guy. |
network profile
| 0 |
Proposals |
| 1 |
Current Commitment |
361
committed
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.| 0 |
Fulfilled Commitments |
| 0 |
Followed |
| 34 | Votes Cast |
22 up
12 down
