Area 51 » Neil Strickland

301
reputation
16 views
discussion user
network profile

Registered User

name Neil Strickland
member for 10 years
seen Feb 8 '22 at 20:08
website
location Sheffield
I am an algebraic topologist, based at the University of Sheffield.
0

Proposals


0

Current Commitments


2

Fulfilled Commitments

Mathematics Educators

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

Proof Assistants

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

0

Followed


1

Example Question


10

Votes Cast

10 up

0 down