Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

Bruno Barras 1 Lourdes del Carmen Gonzalez Huesca 2, 3 Hugo Herbelin 3 Yann Régis-Gianas 3 Enrico Tassi 4 Makarius Wenzel 5 Burkhart Wolff 5
1 TYPICAL - Types, Logic and computing
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
3 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Complete list of metadatas

https://hal.inria.fr/hal-00908980
Contributor : Enrico Tassi <>
Submitted on : Monday, November 25, 2013 - 3:34:05 PM
Last modification on : Sunday, March 31, 2019 - 1:30:57 AM

Identifiers

  • HAL Id : hal-00908980, version 1

Citation

Bruno Barras, Lourdes del Carmen Gonzalez Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, et al.. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363. ⟨hal-00908980⟩

Share

Metrics

Record views

496