package coq-coqoban
Coqoban (Sokoban in Coq)
Install
Dune Dependency
Authors
Maintainers
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:CoqobanPublished: 21 Aug 2021
On This Page