151
reputation
38 views
discussion user
network profile

Registered User

name Joe Kerr
member for 1 year
seen 4 hours ago
website
location A location far, far away

Another random guy.

0

Proposals


2

Current Commitments

137
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta
4
days

Bioacoustics

For people interested in the studies of non-human animal sounds and the impacts of sounds on animals.
define
commit
private beta

0

Fulfilled Commitments


0

Followed


0

Example Questions


35

Votes Cast

22 up

13 down