mathematics_in_lean

My solutions for this book

Update lun. 03 févr. 2025 11:43:42 CET

Changes

80 changed files (+4188/-4176)