학술논문
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
Document Type
Working Paper
Author
Source
Subject
Language
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.
Comment: Conferences on Intelligent Computer Mathematics CICM 2013. The final publication is available at http://link.springer.com
Comment: Conferences on Intelligent Computer Mathematics CICM 2013. The final publication is available at http://link.springer.com