Optimize Eilenberg-Zilber shuffle proof elaboration

fcb6bc9

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Greptile Apps

Greptile Review

Workflow Lint on: pull_request 1

scope

actionlint

SHA-pinned Actions

Exposition Verify on: pull_request 1

scope

build-ready

Verify minimal Lean files

Python CI on: pull_request 1

scope

Lint (ruff)

Test (pytest)

Lean Action CI on: pull_request 5

Plan build

Build pool

Build shard ${{ matrix.shard }}

Check rebased root

Assemble and lint

Build project

PR Separation Guard on: pull_request 1

Content / non-content separation

Partial Port Audit on: pull_request 2

audit (advisory)

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Documentation on: pull_request 1

scope

Documentation preflight

Build exposition site

Build Mathlib documentation data

Build doc-gen4 site

Check deployment freshness

Deploy documentation

Greptile Apps / Greptile Review succeeded Oct 12, 2026 in 4m 14s

Base review

Greptile has reviewed the Pull Request.

1 files reviewed, 0 comments added.

Loading