create independet projects

Stream: new members

[Esteban Estupinan]

hi, what is the way to create independent projects in lean because i have all my codes into the same project and this is turn on a little disorder, for example create a folder to write only linear algebra proofs, another to only combinatories etc

[Kevin Buzzard]

https://leanprover-community.github.io/install/project.html

[Esteban Estupinan]

thank you Kevin