Issue Tracker

refactor(MPS/Irreducible): inline unitary support identities #6223

Sign in to view logs

Triggered via pull request June 20, 2026 23:52

LionSR

opened #3262

codex/mathlib-4-31-native-pass-20260621b

Status Success

Total duration 1m 28s

Artifacts –

tracking-issue-sync.yml

on: pull_request

Annotations

1 notice

Claude Code provider

provider=anthropic, model=claude-sonnet-4-6, tier=sonnet