Area 51 » Kyle Miller

361
reputation
10 views
discussion user
network profile

Registered User

name Kyle Miller
member for 2 months
seen Dec 5 '21 at 21:36
website
location Santa Cruz, CA, USA

I'm a postdoc at UC Santa Cruz (formerly a graduate student at UC Berkeley). I'm mostly interested in low-dimensional topology (knot and spatial graph theory) and in using computers to study math.

0

Proposals


1

Current Commitment

353
committed

Proof Assistants

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

0

Fulfilled Commitments


1

Followed

353
committed

Proof Assistants

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

5

Votes Cast

5 up

0 down