Tactiques de preuve dans Dedukti

Mémoire D'étudiant Année : 2017

Proof Tactics in Dedukti

(1, 2, 3)

1
2
3

Antoine Defourné

Théorie des types dépendants Assistants de preuve Théorie des types Logique

Logique en informatique [cs.LO] Logiciel mathématique [cs.MS] Théorie et langage formel [cs.FL]

Fichier principal

rapport_pfe_ensimag.pdf (1.23 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-01661872

Soumis le : jeudi 4 janvier 2018-19:54:36

Dernière modification le : jeudi 4 avril 2024-21:11:23

Archivage à long terme le : jeudi 5 avril 2018-12:25:29

hal-01661872 , version 1 (04-01-2018)

Antoine Defourné. Tactiques de preuve dans Dedukti. Logique en informatique [cs.LO]. 2017. ⟨hal-01661872⟩

UGA CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE

221 Consultations

285 Téléchargements