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 |
