1 search result for "tag:"keyword:Sokoban""

Showing 1 - 1
  1. coq-coqoban

    No documentation

    Coqoban (Sokoban in Coq)
    category:Miscellaneous/Logical Puzzles and Entertainment keyword:Sokoban keyword:puzzles logpath:Coqoban
    Jasper Stein Hugo Herbelin
    8.13.0
    LGPL-2.1-or-later
    Used by 0 other packages
    21 Aug 2021