Nathaniel Bos

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Higher Order Logic

Natural Deduction

Top Venues

Publications

Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
Lassie: HOL4 tactics by example. CPP (2021)
Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
Lassie: HOL4 Tactics by Example. CoRR (2021)
Stefan Monnier, Nathaniel Bos
Is Impredicativity Implicitly Implicit? TYPES (2019)