Statistics
Publications
2
Citations
30
H-Index
2
Active since
2018
Affiliations
University of Washington(Current)
John Leo is an author at University of Washington specializing in formal verification, formal methods, and automated reasoning.
Publications per year
2018–2019
2
2
Adapting proof automation to adapt proofs
Talia Ringer, Nathaniel Yazdani, John Leo et al. · 2018 · 20 citations
Ornaments for Proof Reuse in Coq
Talia Ringer, Nathaniel Yazdani, John Leo et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 10 citations · Full text
1–2 of 2