17 citations · 20 across the 3 of their papers we have counts for
1 paper · 1 filter
Bruno Barras, Carst Tankink, Enrico Tassi
The work described in this paper improves the reactivity of the Coq system by completely redesigning the way it processes a formal document. By subdividing such work into independe…