 |
A Formalisation of the Generalised Towers of Hanoi
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
Contributor : Laurent Thery <>
Submitted on : Saturday, January 28, 2017 - 12:53:23 AM
Last modification on : Thursday, January 7, 2021 - 3:40:10 PM
Long-term archiving on: : Saturday, April 29, 2017 - 12:32:14 PM
Contributor : Laurent Thery <>
Submitted on : Saturday, January 28, 2017 - 12:53:23 AM
Last modification on : Thursday, January 7, 2021 - 3:40:10 PM
Long-term archiving on: : Saturday, April 29, 2017 - 12:32:14 PM
File
Note.pdf
Files produced by the author(s)