Open Gauss is a project-scoped Lean workflow orchestrator from Math Inc

(github.com) by wslh | Mar 20, 2026 | 1 comments on HN