https://github.com/thery/hanoi
History
Tip revision: 67adfffa662dfa04a8c4bb5899f305f942e4e47c authored by thery on 21 April 2021, 01:33 UTC
README
Tip revision: 67adfff
File Mode Size
.gitignore -rw-r--r-- 155 bytes
.travis.yml -rw-r--r-- 1.4 KB
Makefile -rw-r--r-- 252 bytes
README.md -rw-r--r-- 1.8 KB
_CoqProject -rw-r--r-- 172 bytes
extra.v -rw-r--r-- 35.1 KB
gdist.v -rw-r--r-- 12.2 KB
ghanoi.v -rw-r--r-- 64.0 KB
ghanoi3.v -rw-r--r-- 4.3 KB
ghanoi4.v -rw-r--r-- 2.8 KB
hanoi.opam -rw-r--r-- 665 bytes
lhanoi3.v -rw-r--r-- 20.6 KB
phi.v -rw-r--r-- 8.6 KB
psi.v -rw-r--r-- 32.1 KB
rhanoi3.v -rw-r--r-- 31.7 KB
rhanoi4.v -rw-r--r-- 51.8 KB
shanoi.v -rw-r--r-- 3.6 KB
shanoi4.v -rw-r--r-- 167.5 KB
star.v -rw-r--r-- 40.7 KB
triangular.v -rw-r--r-- 10.1 KB

README.md

back to top