Research: formalize the P104 transport transcript capacity in Lean

a553060

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Sign in for the full log view

Verify terminal elimination on the paired-cube bit word on: pull_request

certificate (3.11)

certificate (3.14)

Verify research artifacts on: pull_request 6

verify (3.11, community)

verify (3.11, producers)

verify (3.11, certificates)

verify (3.11, ternary)

verify (3.11, research)

verify (3.11, tests)

verify (3.11, strips)

verify (3.11, clones)

verify (3.11, positive)

verify (3.11, joint)

verify (3.11, pair)

verify (3.11, partial-gauge)

verify (3.11, three-stage-cover)

verify (3.11, paired-cube)

verify (3.11, recycled-bit)

verify (3.11, entrance-banks)

verify (3.13, community)

verify (3.13, producers)

verify (3.13, certificates)

verify (3.13, ternary)

verify (3.13, research)

verify (3.13, tests)

verify (3.13, strips)

verify (3.13, clones)

verify (3.13, positive)

verify (3.13, joint)

verify (3.13, pair)

verify (3.13, partial-gauge)

verify (3.13, three-stage-cover)

verify (3.13, paired-cube)

verify (3.13, recycled-bit)

verify (3.13, entrance-banks)

verify (3.14, community)

verify (3.14, producers)

verify (3.14, certificates)

verify (3.14, ternary)

verify (3.14, research)

verify (3.14, tests)

verify (3.14, strips)

verify (3.14, clones)

verify (3.14, positive)

verify (3.14, joint)

verify (3.14, pair)

verify (3.14, partial-gauge)

verify (3.14, three-stage-cover)

verify (3.14, paired-cube)

verify (3.14, recycled-bit)

verify (3.14, entrance-banks)

ranked-pair-finite

formal (historical)

formal (gaussian)

formal (matrix)

Verify early reset and kernel composition on: pull_request 4

verify (3.11)

verify (3.14)

Graded box convolution on: pull_request 4

verify (3.11)

verify (3.14)

Verify recycled bit registers on the paired-cube bit word on: pull_request

certificate (3.11)

certificate (3.14)

Registered research packages on: pull_request

plan

replay (research/lean-transport-cut)

Lean transport cut on: pull_request

formal

certificate (3.14)

succeeded Oct 15, 2026 in 5m 31s

Loading

Re-running jobs...