DMCA

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

by Bruno Barras , Hugo Herbelin , Lourdes Del Carmen González Huesca , Yann Régis-Gianas , Enrico Tassi , Makarius Wenzel , Burkhart Wolff