151
reputation
37 views
discussion user
network profile

Registered User

name Joe Kerr
member for 1 year
seen Jan 15 at 23:14
website
location A location far, far away

Another random guy.

0

Proposals


1

Current Commitment

361
committed

Proof Assistants

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

0

Fulfilled Commitments


0

Followed


0

Example Questions


34

Votes Cast

22 up

12 down