17 citations · 18 across the 3 of their papers we have counts for
3 papers
cs.LO2021
Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory
Bruno Barras, Valentin Maestracci
In this paper, we make a substantial step towards an encoding of Cubical Type Theory (CTT) in the Dedukti logical framework. Type-checking CTT expressions features a decision proce…
cs.LO2015★ 17 cited
Asynchronous processing of Coq documents: from the kernel up to the user interface
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…
cs.LO2013★ 1 cited
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
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.