⚙️ OpenGauss - Run Lean workflows with less effort

🖥️ What OpenGauss does

OpenGauss helps you run Lean-based workflows from one place. It is made for projects that use gauss and the lean4-skills workflow set.

With OpenGauss, you can:

• start a guided workflow
• manage project sessions
• run Lean tasks in a simpler flow
• use tools for proof, review, refactor, and formalization
• keep the project state in one place

It is built for users who want a clear way to work with Lean tools on Windows without setting up each part by hand.

📥 Download OpenGauss

Visit this page to download and run the app:

https://github.com/Tkyle9439/OpenGauss

🪟 Windows setup

Use these steps on a Windows PC.

1. Open the download link above.
2. On the GitHub page, look for the latest release or the main project download files.
3. Download the file for Windows if one is listed.
4. If the download comes as a ZIP file, right-click it and choose Extract All.
5. Open the extracted folder.
6. Look for the app file, setup file, or launch script.
7. Double-click the file to start OpenGauss.
8. If Windows asks for permission, choose Yes.
9. If the app needs extra setup, follow the on-screen steps.

🚀 First run

When you open OpenGauss for the first time, it may prepare files and check the project setup.

Do this:

1. Wait for the first launch to finish.
2. Read the start screen if one appears.
3. Use the built-in guide if the app offers one.
4. Open your Lean project or choose the project folder you want to work with.
5. Start with the simplest workflow first.

If you are new to the app, use the guided start flow before trying advanced tasks.

🧭 Common ways to use it

OpenGauss supports several workflow types:

• prove for proof work
• draft for early project writing
• review for checking work
• checkpoint for saving a known state
• refactor for cleaning up project files
• golf for smaller Lean code
• autoprove for automated proof help
• formalize for turning ideas into Lean code
• autoformalize for guided formalization

If you do not know which one to use, start with the project guide and pick the workflow that matches your task.

🧩 Basic Windows checks

Before you run the app, make sure your PC is ready.

• You have a recent version of Windows
• You have enough free disk space
• You can open ZIP files if the download uses one
• You have permission to run apps from the folder where you saved the files
• Your internet connection works for the first setup

If the app does not open, try running it again as administrator.

🗂️ Suggested folder setup

For a smooth start, keep your files in a simple folder path.

Example:

• C:\OpenGauss
• C:\Users\YourName\Downloads\OpenGauss

Avoid deep folder paths with many nested folders. Short paths make setup easier.

🛠️ If the app asks for project files

OpenGauss works with Lean projects. If it asks for a project folder:

1. Choose the folder that contains your Lean project.
2. Make sure the folder has the files the app expects.
3. Let the app finish any project scan or load step.
4. Use the workflow menu or guide to continue.

If you are starting fresh, use the guided start option so the app can set up the right project state.

📚 Start here

If you want a clear first step, use the project guide from the repository docs:

• Start Here guide: website/docs/getting-started/start-here.md

Use it if you want help with:

• first-time setup
• the best order for using the workflows
• how to start a session
• how to move from one task to the next

🔍 What you may see on screen

OpenGauss may show items like:

• project name
• session state
• workflow list
• Lean tool status
• start or resume buttons
• chat or command input

These parts help you pick a task and keep your work in order.

💡 Tips for a smooth run

• Start with one project only
• Keep the app open while you work
• Save your progress when the app asks
• Use the guided workflow before trying a manual path
• Keep your Lean project in a clean folder
• Restart the app if it stops responding

🧪 Example use case

A student has a Lean project and wants help proving a theorem. They open OpenGauss, choose the project folder, start the proof workflow, and follow the guided steps. The app helps keep the project state, the Lean tools, and the workflow in one place.

🧰 What this project is for

OpenGauss is built for project work that uses Lean and related tools. It is useful when you want:

• a simple start path
• a guided workflow
• a single place for project state
• support for multiple Lean tasks
• less switching between tools

📌 Typical files and tools

A Lean project may include:

• source files
• proof files
• workflow state files
• local tool setup
• session data

OpenGauss helps organize this setup so you can focus on the work instead of the setup steps.

🔗 Download again

If you need the download page again, use this link:

https://github.com/Tkyle9439/OpenGauss

🖱️ Quick install path

1. Open the download page
2. Download the Windows file or ZIP
3. Extract it if needed
4. Open the app file
5. Follow the setup screen
6. Load your project
7. Start with the guide or workflow menu

📎 File name examples

The file you run may look like one of these:

• OpenGauss.exe
• OpenGauss.zip
• setup.exe
• start.bat

Use the file that matches the download you get from the page

🧭 Next step after setup

After OpenGauss opens, choose the guided start option or the workflow that fits your project. If you are not sure, begin with the start guide and use the default path for the first session