This repository contains Lean statements and proofs for Raymond M. Smullyan's book To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic, Chapters 9 to 24.
vbonifaci/lean-mockingbird
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|