CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
sagemathinc

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.

GitHub Repository: sagemathinc/cocalc
 Path: tree/master/src/packages/project/lean
Views: 791
Name
Size
Last Modified
global-packages.ts1.2 KB
lean.ts8.9 KB
server.ts5.1 KB