Proof engineering - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2000

Proof engineering

Résumé

The primary aim of this article is to provide an overview of tools for formal proof analysis and management. These proposed tools are grounded in various dependency concepts. Our principal goal is to streamline the development and maintenance of theories in proof assistants, ultimately enhancing the productivity of users within such systems
Fichier principal
Vignette du fichier
RR-Cedric00.pdf (247.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04570164 , version 1 (06-05-2024)

Identifiants

  • HAL Id : hal-04570164 , version 1

Citer

Olivier Pons. Proof engineering. CNAM, 292 rue Saint-Martin, 75003 Paris. 2000. ⟨hal-04570164⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More