Neil Strickland

@NeilStrickland

Open GitHub

🇬🇧 Sheffield, UK

University of Sheffield

Profile age: over 13 years

Updated 8 days ago

28 followers • 0 following

Contacts

N.P.Strickland@sheffield.ac.uk

strickland1.org

https://mathoverflow.net/users/10366

Repositories

linear_maths

updated almost 2 years ago • age about 6 years

TeX99.6%

JetBrains MPS0.4%

combinatorics_diagrams

updated about 1 year ago • age almost 6 years

HTML76.0%

JavaScript19.5%

TeX2.9%

PHP0.8%

CSS0.8%

lean_working_group

updated over 6 years ago • age over 6 years

Lean100.0%

mathlib

updated about 6 years ago • age over 6 years

Lean99.9%

Shell0.1%

studio

updated about 5 years ago • age about 5 years

PHP65.8%

TSQL34.2%

Contributions

2021
moodle-qtype_stack
1 PR +15-27
PHP
154
162
2019
mathlib3
2 PRs +634-73
Lean
1,668
292