https://github.com/thery/hanoi
Tip revision: 7affa99b64d974202215f8fe3ce62c387c4920f5 authored by thery on 31 October 2023, 01:12:51 UTC
mathcomp 2.1
mathcomp 2.1
Tip revision: 7affa99
| File | Mode | Size |
|---|---|---|
| .github | ||
| .gitignore | -rw-r--r-- | 155 bytes |
| LICENSE | -rw-r--r-- | 1.0 KB |
| Makefile | -rw-r--r-- | 252 bytes |
| README.md | -rw-r--r-- | 2.6 KB |
| _CoqProject | -rw-r--r-- | 173 bytes |
| coq-hanoi.opam | -rw-r--r-- | 2.2 KB |
| 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 |
| lhanoi3.v | -rw-r--r-- | 20.6 KB |
| meta.yml | -rw-r--r-- | 2.7 KB |
| phi.v | -rw-r--r-- | 8.6 KB |
| psi.v | -rw-r--r-- | 32.0 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.6 KB |
| star.v | -rw-r--r-- | 40.8 KB |
| triangular.v | -rw-r--r-- | 10.1 KB |
