Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
From MaRDI portal
Publication:2843039
DOI10.1007/978-3-642-39320-4_29zbMath1390.68571arXiv1305.7360OpenAlexW2151295754MaRDI QIDQ2843039
Makarius Wenzel, Burkhart Wolff, Hugo Herbelin, Yann Régis-Gianas, Lourdes del Carmen González Huesca, Enrico Tassi, Bruno Barras
Publication date: 9 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1305.7360
Related Items
Uses Software
