Registered user since Fri 26 Nov 2021

Name:Oliver Nash
Affiliation:Imperial College, London
Personal website:http://olivernash.org
Research interests:Geometry, Formalisation of mathematics

Contributions

CPP 2023 Formalising the h-principle and sphere eversion
Show activities from other conferences

POPL 2023-profile
View general profile