Abstract : 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.
https://hal.archives-ouvertes.fr/hal-01446070
Contributeur : Laurent Thery <>
Soumis le : samedi 28 janvier 2017 - 00:53:23
Dernière modification le : jeudi 15 juin 2017 - 09:08:46
Document(s) archivé(s) le : samedi 29 avril 2017 - 12:32:14
