18 citations · 31 across the 3 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…