Towards a broad spectrum proof certificate

-

English
25 Pages
Read an excerpt
Gain access to the library to view online
Learn more

Description

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...

  • dale miller

  • focused proof

  • any prover could

  • easy access

  • consider another


Subjects

Informations

Published by
Reads 9
Language English
Report a problem
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