To add a reference manually, just click Import references on the top left of your Lean Library Workspace screen, then choose the Create reference manually option:
You'll be able to choose from one of our supported reference types, and input the desired details. Then just click Add to create a reference that you can cite, and add a PDF to if desired.
