Ariel Kellison

Registered user since Sun 28 Nov 2021

Name:Ariel Kellison
Country:United States
Affiliation:Cornell University

Contributions

CPP 2022 A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem
Show activities from other conferences

POPL 2022-profile
View general profile