Area 51 » Joe Kerr
|
Registered User
|
Another random guy. |
0 |
Proposals |
2 |
Current Commitments |
137
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.4
days
Bioacoustics
For people interested in the studies of non-human animal sounds and the impacts of sounds on animals.0 |
Fulfilled Commitments |
0 |
Followed |
35 | Votes Cast |
22 up
13 down