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.13.0.tar.gz
sha256=5d525efda4880c6365df67b205157a1bbcb6a5dfc3db89f2066f7de776e3e77c

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: 21 Aug 2021

Dependencies (1)

  1. coq >= "8.10"

Dev Dependencies

None

Used by

None

Conflicts

None