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