Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

Bruno Barras; Lourdes del Carmen González Huesca; Hugo Herbelin; Yann Régis-Gianas; Enrico Tassi; Makarius Wenzel; Burkhart Wolff

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

Logic in Computer Science 2013-06-03 v1

Authors: Bruno Barras , Lourdes del Carmen González Huesca , Hugo Herbelin , Yann Régis-Gianas , Enrico Tassi , Makarius Wenzel , Burkhart Wolff

View on arXiv ↗ PDF ↗

Abstract

This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era.

Keywords

theorem proving

Cite

@article{arxiv.1305.7360,
  title  = {Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems},
  author = {Bruno Barras and Lourdes del Carmen González Huesca and Hugo Herbelin and Yann Régis-Gianas and Enrico Tassi and Makarius Wenzel and Burkhart Wolff},
  journal= {arXiv preprint arXiv:1305.7360},
  year   = {2013}
}