https://github.com/thery/hanoi
Tip revision: 67adfffa662dfa04a8c4bb5899f305f942e4e47c authored by thery on 21 April 2021, 01:33:05 UTC
README
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 |