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
2 PPS - Preuves, Programmes et Systèmes
3 PI.R2 - Design, study and implementation of languages for proofs and programs
4 SPECFUN - Symbolic Special Functions : Fast and Certified
5 LRI - Laboratoire de Recherche en Informatique

Domaines: Ingénierie, finance et science [cs.CE]

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⟩