hanoi

Coq的河内塔

  • 语言Rocq Prover
  • 默认分支master
  • 大小1.6 MB
  • 更新1 周前
在 GitHub 打开

README

hanoi

Docker CI

Hanoi tower in Rocq

File Content
extra Extra theorems from the standard library
gdist Distance in a graph
ghanoi General Hanoi framework
ghanoi3 General Hanoi framework with 3 pegs
lhanoi3 Linear Hanoi tower with 3 pegs
rhanoi3 Regular Hanoi tower with 3 pegs
triangular Theorems about triangular numbers
phi Theorems about the Φ function
psi Theorems about the Ψ function
ghanoi4 General Hanoi framework with 4 pegs
rhanoi4 Regular Hanoi tower with 4 pegs
star Some maths for the shanoi
shanoi Hanoi tower in star
shanoi4 Hanoi tower with 4 pegs in star

A note about this development is available here.

An interactive version of the library is available here.

Meta

Building and installation instructions

To build and install manually, you need to make sure that all the libraries this development depends on are installed. The easiest way to do that is still to rely on opam:

git clone https://github.com/thery/hanoi.git
cd hanoi
opam repo add rocq-released https://rocq-prover.org/opam/released
opam install --deps-only .
make   # or make -j <number-of-cores-on-your-machine> 
make install

评论

暂无评论