A Formalisation of the Generalised Towers of Hanoi - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

A Formalisation of the Generalised Towers of Hanoi

Laurent Théry
Mathematical, Reasoning and Software

Résumé

This notes explains how the optimal algorithm for the generalised towers of Hanoi has been formalised in the Coq proof assistant using the SSReflect extension.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
Note.pdf (1018.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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

https://hal.science/hal-01446070

Soumis le : samedi 28 janvier 2017-00:53:23

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : samedi 29 avril 2017-12:32:14

Télécharger pour visualiser

Dates et versions

hal-01446070 , version 1 (25-01-2017)
hal-01446070 , version 2 (28-01-2017)

Identifiants

  • HAL Id : hal-01446070 , version 2

Citer

Laurent Théry. A Formalisation of the Generalised Towers of Hanoi. 2017. ⟨hal-01446070v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR
298 Consultations
694 Téléchargements

Partager

Gmail Facebook X LinkedIn More