Area 51 » François G. Dorais

201
reputation
61 views
discussion user
network profile

Registered User

name François G. Dorais
member for 11 years
seen Nov 23 at 13:21
website
location Hanover, NH

I like math and a few other things...

0

Proposals


0

Current Commitments


1

Fulfilled Commitment

Mathematics

For people studying math at any level & professionals in related fields
define
commit
beta

1

Followed

286
committed

Proof Assistants

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

0

Example Questions


21

Votes Cast

18 up

3 down