https://github.com/thery/hanoi
Tip revision: 67adfffa662dfa04a8c4bb5899f305f942e4e47c authored by thery on 21 April 2021, 01:33:05 UTC
README
README
Tip revision: 67adfff
_CoqProject
-R . hanoi
-arg -w -arg -notation-overridden
extra.v
gdist.v
ghanoi.v
ghanoi3.v
ghanoi4.v
lhanoi3.v
rhanoi3.v
triangular.v
phi.v
psi.v
rhanoi4.v
star.v
shanoi.v
shanoi4.v
