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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR
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
Type de document :
Communication dans un congrès
MKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00908980
Contributeur : Enrico Tassi <>
Soumis le : lundi 25 novembre 2013 - 15:34:05
Dernière modification le : jeudi 11 janvier 2018 - 06:22:37

Identifiants

  • 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, 2013. 〈hal-00908980〉

Partager

Métriques

Consultations de la notice

200