Creating a project
You can add a new private or shared project by clicking the + button next to the relevant heading in the left hand pane of the main Lean Library Workspace page:
Editing a project
If you hover your pointer over a project, you'll see a menu (3 vertical dots) icon appear:
Clicking this will give you various options for the project.