Stack Exchange
log in sign up chat discuss faq users badges

Area 51 » Neil Strickland

info activity reputation
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
shef.ac.uk/nps
location Sheffield
I am an algebraic topologist, based at the University of Sheffield.
stats accounts
0

Proposals

0

Current Commitments

2

Fulfilled Commitments

Mathematics Educators

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

Proof Assistants

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

0

Followed

1

Example Question
10
Proof Assistants: Is there a consolidated list of backward-incompatible changes in Lean's mathlib, to help people trying to update old code?

10

Votes Cast
10 up

0 down