Login / Signup
John Leo
Publication Activity (10 Years)
Years Active: 1992-2021
Publications (10 Years): 5
Top Topics
Formal Proofs
Inference Rules
Automated Theorem Provers
Reusable Components
Top Venues
ITP
CoRR
PLDI
CPP
</>
Publications
</>