mathematics_in_lean

My solutions for this book

Update mer. 17 juil. 2024 18:05:02 CEST

Changes

55 changed files (+1546/-14324)