Repository navigation

Align CM Hodge comparator declarations with the Lean solution - #4

Merged

dr-openai merged 1 commit into

mainfrom

codex/update-10-29

Oct 30, 2026

Merged

Align CM Hodge comparator declarations with the Lean solution#4
dr-openai merged 1 commit into
mainfrom
codex/update-10-29

Commits on Oct 29, 2026
- Align CM Hodge comparator declarations with the Lean solution
  dr-openai
  committed
  204e5f8