TY  - RPRT
TI  - Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
AU  - Bruno Barras
AU  - Lourdes del Carmen González Huesca
AU  - Hugo Herbelin
AU  - Yann Régis-Gianas
AU  - Enrico Tassi
AU  - Makarius Wenzel
AU  - Burkhart Wolff
PY  - 2013
UR  - https://arxiv.org/abs/1305.7360
ID  - 1305.7360
ER  -