Zulip Chat Archive

Stream: new members

Topic: create independet projects

Esteban Estupinan (Jun 16 2021 at 16:21):

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 (Jun 16 2021 at 16:22):


Esteban Estupinan (Jun 16 2021 at 18:06):

thank you Kevin

Last updated: Dec 20 2023 at 11:08 UTC