GitHub repository: 0Art0/combinatornithology
Primary language: Lean
Created: 2021-07-22T12:15:26Z
Description: A series of puzzles on combinatory logic written in LEAN, inspired by the book "To Mock a Mockingbird" by Raymond Smullyan.