I use LaTeX to cite references, can I do that with Lean Library Workspace?

We have a feature that will let you copy the BibTeX details of a reference to your clipboard so you can use it with LaTeX.

To do this:

• Select the checkboxes of the references you need the BibTeX for
• Click the copy/move/export button:

• Then choose the Copy bibTeX to clipboard option. You can also use the Export as… option from this menu to export references in bulk to a BibTeX format file.