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

Proof by pointing

Résumé

This paper presents a principle for a natural and effective use of the mouse in the user-interface of computer proof assistants
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)

Dates et versions

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

Identifiants

  • HAL Id : hal-03957702 , version 1

Citer

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

Collections

INRIA INRIA2 LARA
5 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More