Solutions to "To Mock a Mockingbird" using the Lean theorem prover - View it on GitHub