Repository navigation

feat(arithmetic): prove permanent VNP membership via Ryser witnesses - #1802

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/permanent-vnp-20261030

Oct 30, 2026

Merged

feat(arithmetic): prove permanent VNP membership via Ryser witnesses#1802
SamuelSchlesinger merged 2 commits into
mainfrom
feat/permanent-vnp-20261030

Commits on Oct 30, 2026
- feat(arithmetic): certify Ryser witnesses for permanent VNP membership
  SamuelSchlesinger
  committed
  7a90e89
- doc(arithmetic): record the permanent membership milestone
  SamuelSchlesinger
  committed
  396da27