Repository navigation

Formalize P104 transport transcript capacity in Lean - #2178

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

commdata2338:lean-transport-cut

Oct 15, 2026

Merged

Formalize P104 transport transcript capacity in Lean#2178
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
commdata2338:lean-transport-cut

Commits on Oct 14, 2026
- Research: formalize the P104 transport transcript capacity in Lean
  
  commdata2338
  and
  claude
  committed
  a553060