Not registered as user yet

Name:Nathaniel Bos
Affiliation:McGill University

Contributions

CPP 2021 Author of Lassie: HOL4 Tactics by Example within the CPP 2021-track