Login / Signup

Will Kunkel

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Proof Planning
Functional Language
Theorem Proving
Automated Deduction

Top Venues

CoRR
Publications