conf.researchr.org / John Leo
Registered user since Fri 1 Dec 2017
Name: John Leo
Country: United States
Affiliation: Halfaya Research
Personal website: http://halfaya.org/leo/
Research interests: Type Theory
Contributions
| FARM 2019 | Author of Demo: Counterpoint by Construction within the FARM 2019-track |
| CPP 2018 | Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track |