Proof Search and Proof Reconstruction in Sledgehammer

Type de document :
Communication dans un congrès
Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00677574
Contributeur : Pascal Fontaine <>
Soumis le : jeudi 8 mars 2012 - 17:49:06
Dernière modification le : jeudi 8 mars 2012 - 17:49:06

Identifiants

  • HAL Id : hal-00677574, version 1

Collections

Citation

Jasmin Blanchette. Proof Search and Proof Reconstruction in Sledgehammer. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011. 〈hal-00677574〉

Partager

Métriques

Consultations de la notice

34