8 citations · 14 across the 14 of their papers we have counts for
1 paper · 2 filters
Frédéric Blanqui, Kim Quyen Ly
In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing…