3 search results for "tag:"category:Miscellaneous/Logical Puzzles and Entertainment""

Showing 1 - 3
  1. coq-bonsai

    No documentation

    Generate a fresh Bonsai on your terminal
    category:Miscellaneous/Logical Puzzles and Entertainment keyword:bonsai keyword:effects keyword:extraction date:2021-10-04
    Guillaume Claret
    1.0.0
    GPL-3.0-only
    Used by 0 other packages
    04 Oct 2021
  2. 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
  3. 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