1. Top
  2. mathematics_in_lean
  3. Files
  4. .gitignore
mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5 
/.vscode
/build
/lake-packages
/.cache
.DS_Store