Zulip Chat Archive
Stream: new members
Topic: Mathematics in Lean book
İmran Tanrikolu (Aug 16 2025 at 08:02):
Where can I find the proofs of the theorems left to the reader in the book Mathematics in Lean?
Kyle Miller (Aug 16 2025 at 16:16):
There are solutions folders, e.g. https://github.com/leanprover-community/mathematics_in_lean/tree/master/MIL/C02_Basics/solutions
Are there any specific solutions missing?
Last updated: Dec 20 2025 at 21:32 UTC