Area 51 » Mike Shulman

201
reputation
54 views
discussion user
network profile

Registered User

name Mike Shulman
member for 7 years
seen Nov 23 at 16:47
website
location San Diego, CA

I am an associate professor of mathematics at the University of San Diego. My research is on homotopy type theory and higher category theory.

0

Proposals


1

Current Commitment

294
committed

Proof Assistants

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

1

Fulfilled Commitment

3k
days

Mathematics Educators

For those involved in the field of teaching mathematics.
define
commit
public beta

1

Followed

294
committed

Proof Assistants

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

0

Example Questions


5

Votes Cast

5 up

0 down