Towards a broad spectrum proof certificate

Dale Miller

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

Sujets

• École polytechnique
• Dale Miller
• Accessibility

Informations

• Publié par: chaeh
• Nombre de lectures: 9
• Langue: English

Extrait

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