package coq-coqoban

  1. Overview
  2. No Docs
Coqoban (Sokoban in Coq)

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

  1. J
    Jasper Stein
  2. H
    Hugo Herbelin

Maintainers

  1. E
    erik@martin-dorel.org

Sources

v8.11.0.tar.gz
sha256=07762404f7bf6b57dca178cdf16730bb50b1815b8e6454a0d1a427078b0a9b68

Description

A Coq implementation of Sokoban, the Japanese warehouse keepers' game.

Tags

category:Miscellaneous/Logical Puzzles and Entertainment keyword:Sokoban keyword:puzzles logpath:Coqoban

Published: 12 Mar 2020

Dependencies (1)

  1. ocaml >= "4.05.0"

Dev Dependencies (1)

  1. coq (>= "8.10" & < "8.13~") | (= "dev")

Used by

None

Conflicts

None