package coq-coqoban
Coqoban (Sokoban in Coq)
Install
Dune Dependency
Authors
Maintainers
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:CoqobanPublished: 12 Mar 2020
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)">
On This Page