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
Formalization and solution of knights and knaves puzzles in lean 4
-
Updated
Jun 25, 2025 - Lean
a knights and knaves puzzle generator
-
Updated
Oct 10, 2018 - JavaScript
Explore combinatory logic
-
Updated
Nov 26, 2024 - Common Lisp
A generator for 'Portia's Caskets'
-
Updated
Jun 13, 2018 - Python
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."