98 citations · 437 across the 19 of their papers we have counts for
1 paper · 1 filter
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when r…