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 Author of Formalising the h-principle and sphere eversion within the CPP 2023-track
CPP 2022 Author of Formalising Lie algebras within the CPP 2022-track