gauss-open-gauss-cli · git:20260531.112973e · 2026-05-31 · sha256 533ab50f3e6b0b1c

gauss-open-gauss-cli git:20260531.112973eA

Name: gauss-open-gauss-cli
Author: docxology

Immutable. This exact content is served forever at /api/v1/blob/533ab50f3e6b0b1c.

---
name: gauss-open-gauss-cli
description: Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. See docs/reference/opengauss-naming.md; for the public Lean exemplar see projects/templates/template_active_inference/lean/.
---

# Gauss (Lean tooling)

**Naming:** [Open Gauss vs Huawei DBMS](../../../docs/reference/opengauss-naming.md).

Public Lean boundary exemplar: [`projects/templates/template_active_inference/lean/`](../../../projects/templates/template_active_inference/lean/) (`lake build`).