diff --git a/README.md b/README.md index 34945e9708..2955051205 100644 --- a/README.md +++ b/README.md @@ -45,7 +45,7 @@ size of a set without three term arithmetic progressions): ### Code organisation -The Lean code is contained in the directory `src/`. The subdirectories are: +The Lean code is contained in the directory `LeanAPAP`. The subdirectories are: * `Mathlib`: Material missing from existing mathlib developments * `Prereqs`: New developments to be integrated to mathlib * `Physics`: The physical (as opposed to Fourier space) proof steps that are shared diff --git a/docs/index.md b/docs/index.md index 207a6c7c6c..929ed8e782 100644 --- a/docs/index.md +++ b/docs/index.md @@ -49,7 +49,7 @@ size of a set without three term arithmetic progressions): ### Code organisation -The Lean code is contained in the directory `src/`. The subdirectories are: +The Lean code is contained in the directory `LeanAPAP`. The subdirectories are: * `Mathlib`: Material missing from existing mathlib developments * `Prereqs`: New developments to be integrated to mathlib * `Physics`: The physical (as opposed to Fourier space) proof steps that are shared