package coq-hanoi

You can search for identifiers within the package.

in-package search v0.2.0

Hanoi tower in Coq

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

L

Laurent Théry

Maintainers

T

thery@sophia.inria.fr

Sources

md5=eb53a8e4063b7ac1c0067dbddab057bf

Description

A note about this development is available here.

An interactive version of the library is available here.

Tags

keyword:hanoi tower logpath:hanoi

Published: 20 Jan 2022

Dependencies

None

Dev Dependencies (5)

coq-mathcomp-bigenough (>= "1.0.1" & < "1.1~") | (>= dev)
coq-mathcomp-finmap (>= "1.5.1" & < "1.6~") | (>= dev)
coq-mathcomp-algebra (>= "1.14.0" & < "1.15~") | (>= dev)
coq-mathcomp-ssreflect (>= "1.14.0" & < "1.15~") | (>= dev)
coq (>= "8.14" & < "8.16~") | (>= dev)

Used by

None

Conflicts

None

On This Page

Description
Dependencies
Dev Dependencies (5)
Used by
Conflicts