2 search results for "tag:"keyword:puzzles""

Showing 1 - 2
  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
  2. coq-sudoku

    No documentation

    Sudoku solver certified in Coq
    category:Miscellaneous/Logical Puzzles and Entertainment keyword:puzzles keyword:Davis-Putnam keyword:sudoku logpath:Sudoku date:2022-10-19
    Laurent Théry
    8.16.0
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Oct 2022