Towards a broad spectrum proof certificate
25
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
25
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Niveau: Supérieur
Towards a broad spectrum proof certificate Dale Miller INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France MLPA, 15 July 2010 A talk full of speculations...
Voir
Towards a broad spectrum proof certificate Dale Miller INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France MLPA, 15 July 2010 A talk full of speculations...
- dale miller
- focused proof
- any prover could
- easy access
- consider another
Towards
a broad spectrum proof certificate
Dale Miller
´ INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France
MLPA, 15 July 2010
A talk full of speculations...
Outline
1.
2.
3.
Dreaming
Sorting out
Focused
some
proof
issues
systems
