Repository navigation

Proofs/permanova permutations - #127

Merged

hyperpolymath merged 2 commits into

mainfrom

proofs/permanova-permutations

Oct 15, 2026

Merged

Proofs/permanova permutations#127
hyperpolymath merged 2 commits into
mainfrom
proofs/permanova-permutations

Commits on Oct 15, 2026
- proofs(agda): PERMANOVA's p-value floor and which terms are withheld
  
  hyperpolymath
  and
  mistral-vibe
  committed
  161d86a
- Merge branch 'main' into proofs/permanova-permutations
  hyperpolymath
  authored
  fee3a9b