18 citations · 36 across the 4 of their papers we have counts for
1 paper · 2 filters
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…