mathematics_in_lean

My solutions for this book

Update sam. 26 août 2023 22:52:17 EDT

Changes

25 changed files (+1060/-1086)