18 citations · 36 across the 4 of their papers we have counts for
1 paper · 1 filter
Mathias Fleury, Hans-Jörg Schurr
Automated theorem provers are now commonly used within interactive theorem provers to discharge an increasingly large number of proof obligations. To maintain the trustworthiness o…