Registered user since Wed 19 Aug 2020

Name:Joshua Clune
Affiliation:Carnegie Mellon University

Contributions

CPP 2023 A Formalized Reduction of Keller's Conjecture
Show activities from other conferences

Using general profile