, Section of the Coq refence manual

Y. Bertot and G. Gonthier, Sidi Ould Biha, and Ioana Pas , ca. Canonical Big Operators, TPHOLs, vol.5170, 2008.

T. Bousch, La quatrième tour de Hanoï, Bull. Belg. Math. Soc. Simon Stevin, vol.21, issue.5, pp.895-912, 2014.

T. Bousch, A. M. Hinz, S. Klav?ar, D. Parisse, C. Petr et al., A note on the Frame-Stewart conjecture, Discrete Math., Alg. and Appl, vol.11, issue.4, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02343152

R. Demontis, What is the least number of moves needed to solve the k-peg Towers of Hanoi problem?, Discrete Math., Alg. and Appl, vol.11, issue.1, 2019.

J. Harrison, Without loss of generality, TPHOLs, vol.5674, pp.43-59, 2009.

A. M. Hinz and S. Klav?ar, Uro? Milutinovi?, and Ciril Petr. The Tower of Hanoi -Myths and Maths, 2013.

A. Mahboubi and E. Tassi, Mathematical Components