Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
arXiv:1305.7360
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.
Conferences on Intelligent Computer Mathematics CICM 2013. The final publication is available at http://link.springer.com