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