219 citations · 268 across the 17 of their papers we have counts for
1 paper · 2 filters
Eric Yeh, Briland Hitaj, Sam Owre +2
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complex…