GitHub repository: kunigami/mockingbirds_lean
Primary language: Lean
Created: 2022-05-07T18:31:30Z
Description: Solution to the puzzles in "To Mock a Mockingbird" book written in Lean