Generator for a variety of logic puzzles drawn from books by Raymond Smullyan
-
Updated
Oct 11, 2018 - HTML
#
smullyan
Here are 7 public repositories matching this topic...
generator and pages for "Forest of Forgetfulness" logic puzzles
-
Updated
Jul 22, 2018 - Python
a knights and knaves puzzle generator
-
Updated
Oct 10, 2018 - JavaScript
Formalization and solution of knights and knaves puzzles in lean 4
-
Updated
Nov 14, 2025 - Lean
A generator for 'Portia's Caskets'
-
Updated
Jun 13, 2018 - Python
Explore combinatory logic
-
Updated
Dec 28, 2025 - Common Lisp
Improve this page
Add a description, image, and links to the smullyan topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smullyan topic, visit your repo's landing page and select "manage topics."