Repository navigation

Certify selected k8 label instances in Lean - #2944

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

petalas:research/donated-result-20261016-2355

Oct 16, 2026

Merged

Certify selected k8 label instances in Lean#2944
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/donated-result-20261016-2355

Commits on Oct 16, 2026
- test(research): certify selected k8 labels in Lean
  petalas
  committed
  2c97782