mathematics_in_lean

My solutions for this book

Update jeu. 22 août 2024 19:01:17 CEST

Changes

33 changed files (+3549/-3502)