Robert Y. Lewis -

Registered user since Fri 7 Dec 2018

Name:Robert Y. Lewis

Country:United States

Affiliation:Brown University

Personal website: http://robertylewis.com

Contributions

2025

CPP

PC Member in Program Committee within the CPP 2025-track

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