1 repository with Claude Code or Codex plugins.
emdash — algebraic goal assistant (proof assistant for ω-categories) — Try it: https://hotdocx.github.io/emdash
2 plugins · hotdocx/emdash