Optimize FriezePatterns continuant proof elaboration

238cb39

Select commit

Loading

Failed to load commit list.

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

Greptile Apps

Greptile Review

Documentation on: pull_request 1

scope

Documentation preflight

Build exposition site

Build Mathlib documentation data

Build doc-gen4 site

Check deployment freshness

Deploy documentation

Partial Port Audit on: pull_request 2

audit (advisory)

Lean Action CI on: pull_request 5

Plan build

Build pool

Build shard ${{ matrix.shard }}

Check rebased root

Assemble and lint

Build project

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Python CI on: pull_request 1

scope

Lint (ruff)

Test (pytest)

PR Separation Guard on: pull_request 1

Content / non-content separation

Exposition Verify on: pull_request 1

scope

build-ready

Verify minimal Lean files

Workflow Lint on: pull_request 1

scope

actionlint

SHA-pinned Actions

Greptile Apps / Greptile Review succeeded Oct 10, 2026 in 3m 21s

Base review

Greptile has reviewed the Pull Request.

1 files reviewed, 0 comments added.

Loading