pith. sign in

arxiv: 1305.7360 · v1 · pith:G3GTNIXPnew · submitted 2013-05-31 · 💻 cs.LO

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

Bruno Barras , Lourdes del Carmen Gonz\'alez Huesca , Hugo Herbelin , Yann R\'egis-Gianas , Enrico Tassi , Makarius Wenzel , Burkhart Wolff This is my paper
classification 💻 cs.LO
keywords assistantshighly-trustableintentsinteractiveisabellemakemulticoreoverview
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.