smullyan

Here are 7 public repositories matching this topic...

Generator for a variety of logic puzzles drawn from books by Raymond Smullyan

logic logic-puzzles smullyan

generator and pages for "Forest of Forgetfulness" logic puzzles

logic smullyan logic-puzzle

a knights and knaves puzzle generator

puzzle logic knights-knaves islander-puzzle smullyan logic-puzzle

Formalization and solution of knights and knaves puzzles in lean 4

logic proof-assistant puzzles theorem-prover smullyan lean4

A generator for 'Portia's Caskets'

javascript python logic portia logic-puzzles smullyan portia-caskets

Explore combinatory logic

Logic puzzles from "Alice in Puzzle-Land."

smullyan logic-puzzle

To associate your repository with the smullyan topic, visit your repo's landing page and select "manage topics."