mathematics_in_lean

My solutions for this book

Update sam. 08 juil. 2023 22:40:22 CEST

Changes

30 changed files (+1050/-2217)