Proof by pointing - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport Année : 1993

Proof by pointing

Yves Bertot
Design and Implementation of Programming Tools
Gilles Kahn
  • Fonction : Auteur
Design and Implementation of Programming Tools
Laurent Théry
University of Cambridge [UK]

Résumé

This paper presents a principle for a natural and effective use of the mouse in the user-interface of computer proof assistants

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
UCAM-CL-TR-313.pdf (1.59 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Laurent Théry  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 26 janvier 2023-12:47:12

Dernière modification le : jeudi 12 septembre 2024-16:52:36

Archivage à long terme le : jeudi 27 avril 2023-18:54:31

Télécharger pour visualiser

Dates et versions

hal-03957702 , version 1 (26-01-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-03957702 , version 1

Citer

Yves Bertot, Gilles Kahn, Laurent Théry. Proof by pointing. University of Cambridge. 1993. ⟨hal-03957702⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 LARA
18 Consultations
21 Téléchargements

Partager

More