Projects & Imports

This guide covers creating a fresh workspace, importing existing repositories, and joining shared projects via links. ReasLab supports various specialized project templates tailored to different use cases.

After logging in, you land on the Projects page where you can view and manage all your projects.

• Create or import: Use New Project for a blank project or ZIP archive, Import Git for a repository, and Templates for the unified template catalog.
• Manage projects: Open Projects to search your projects, open the actions menu, archive projects you own, or leave projects shared with you.
• Filter projects: Switch between All Projects, My Projects, Shared with Me, and Archived Projects.
• Updates and Feedback: Updates shows product announcements. Feedback lets you report an issue, which is filed on GitHub automatically.

Create a new project

There are multiple ways to start your journey in ReasLab, depending on whether you want a clean slate or a pre-configured environment.

1. Creating a Blank Project (New Project)

Suitable for general scientific writing or custom project structures. Usually, you start by clicking New Project in the Dashboard sidebar. The New Project page provides two tabs: Blank Project for starting from scratch, and Import from ZIP for uploading an existing project archive.

Blank Project

1. Enter a Project Name. Names may contain letters, numbers, underscores, and hyphens; hyphens are converted to underscores when saved.
2. Choose the Project Type: Modeling, Theorem Proving, or LaTeX.
3. For Theorem Proving, select a Lean Toolchain Version and choose whether to Include Mathlib.
4. Click Create Project.

Import from ZIP

Upload an existing project as a .zip archive to create a new project directly from it. There is no need to enter a name or select a type: the project name is derived from the uploaded file name, and the project type (Theorem Proving, LaTeX, or Modeling) is automatically detected from the archive contents.

1. Switch to the Import from ZIP tab.
2. Click the upload area or drag and drop a .zip archive. Uploading and extraction start immediately; when they finish, ReasLab opens the new project.

If a project with the same name already exists, a short random suffix is appended automatically to keep names unique.

2. Creating from a Template

The unified Templates catalog contains optimization modeling, math modeling contest, and theorem proving templates in one place.

1. Open Templates from the sidebar or top navigation.
2. Search the entire catalog, or choose All, Optimization Modeling, Math Modeling Contest, or Theorem Proving.
3. On All, select Browse all for a topic. Topic views may provide additional category filters.
4. Select a card or View details to inspect the template.

Preview and use a template

The detail page shows the material supplied by the template, such as a problem statement, mathematical model, code, contest resources, or Lean project metadata. Click Use Template, enter a project name in the dialog, and confirm with Create Project.

Import from Git

There are two ways to bring an existing repository into ReasLab:

• Manual import: Paste the repository URL, enter a project name, choose Modeling, Theorem Proving, or LaTeX, and click Import Project.
• GitHub repositories: Connect your GitHub account and install the ReasLab GitHub App to browse authorized repositories. Use Manage GitHub Access when you need to add or remove repository permissions.

For more advanced Git operations (branch management, commit history, conflict resolution), see the Git Integration guide.

Join via Share Link

• If you receive a high-permission share link from another member, open it in the browser after signing in. You can then join the project with the granted permissions, such as view, edit, or manage, and collaborate with others in the same workspace.

For details, see the Collaboration guide.