Area 51 » aBathologist

256
reputation
11 views
discussion user
network profile

Registered User

name aBathologist
member for 9 years
seen Nov 23 at 20:13
website
location Dever
0

Proposals


1

Current Commitment

305
committed

Proof Assistants

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

0

Fulfilled Commitments


0

Followed


1

Example Question


10

Votes Cast

10 up

0 down