mathematics_in_lean

My solutions for this book

Update sam. 05 oct. 2024 16:32:11 CEST

Changes

32 changed files (+4247/-4103)