636 citations · 3.7k across the 99 of their papers we have counts for
1 paper · 2 filters
Bruno Barras, Lourdes del Carmen González Huesca, Hugo Herbelin +4
This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era.