Skip to content
....... Open Gauss is a project-scoped Lean workflow orchestrator from Math, Inc. It gives gauss a multi-agent frontend for the lean4-skills prove, draft, review, checkpoint, refactor, golf, autoprove, formalize, and autoformalize workflows, while staging the Lean tooling, MCP/LSP wiring, and backend session state those workflows need. An AI co-scientist powered by Claude Scientific Skills running on your desktop.Memes
Knowledge Engineering ~ Meetings
Knowledge Engineering ~ Meetings
Type
Date
Notes
Knowledge Engineering
88
4/14/2026
3/31/2026
3/17/2026
3/3/2026
2/24/2026
2/17/2026
2/3/2026
1/20/2026
12/30/2025
12/16/2025
12/9/2025
12/2/2025
11/18/2025
11/11/2025
11/4/2025
10/28/2025
10/21/2025
10/14/2025
9/30/2025
9/23/2025
9/9/2025
8/26/2025
8/12/2025
8/5/2025
7/29/2025
7/22/2025
7/15/2025
7/8/2025
6/24/2025
6/17/2025
6/10/2025
6/4/2025
5/28/2025
5/21/2025
5/14/2025
5/7/2025
4/30/2025
4/23/2025
4/16/2025
4/9/2025
4/2/2025
3/26/2025
3/19/2025
3/12/2025
2/26/2025
2/12/2025
2/5/2025
1/29/2025
1/22/2025
1/15/2025
1/8/2025
12/11/2024
12/4/2024
11/20/2024
11/6/2024
10/30/2024
10/23/2024
10/16/2024
10/9/2024
10/2/2024
9/25/2024
9/11/2024
9/4/2024
8/28/2024
8/21/2024
8/14/2024
8/7/2024
7/31/2024
7/24/2024
7/17/2024
7/10/2024
7/3/2024
6/26/2024
6/19/2024
5/29/2024
5/22/2024
5/15/2024
5/1/2024
4/24/2024
4/17/2024
4/10/2024
4/3/2024
3/27/2024
3/20/2024
3/13/2024
3/6/2024
2/28/2024
2/21/2024
4/14/2026
Type
Knowledge Engineering
Notes
Show hidden columns
1 of 88
Want to print your doc?
This is not the way.
This is not the way.
Try clicking the ··· in the right corner or using a keyboard shortcut (
CtrlP
) instead.