2013/05/31 by Bruno Barras, Barras, Bruno, Lourdes del Carmen González Huesca +11
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
paper · pdf · doi:10.48550/arxiv.1305.7360
Conferences on Intelligent Computer Mathematics CICM 2013. The final publication is available at http://link.springer.com
arxiv created 2013/05/31 · arxiv updated 2013/06/03
This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era.