Robert Y. Lewis -

Registered user since Fri 7 Dec 2018

Name:Robert Y. Lewis

Country:Netherlands

Affiliation:Vrije Universiteit Amsterdam

Personal website: http://robertylewis.com

Contributions

2021

CPP

2020

CPP

Session Chair of Formalized mathematics 1 (part of CPP 2020)

2019

CPP

Author of A Formal Proof of Hensel's Lemma over the p-adic Integers within the CPP 2019-track