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

POPL 2023-profile
View general profile