Repository navigation

[P1] Explicit postulate sweep (Fork A) - #189

Merged

hyperpolymath merged 1 commit into

mainfrom

fix-158-bodyless-postulates

Jul 25, 2026

Merged

[P1] Explicit postulate sweep (Fork A)#189
hyperpolymath merged 1 commit into
mainfrom
fix-158-bodyless-postulates

Commits on Jul 25, 2026
- chore: explicit postulate sweep for bodyless declarations (standards#158)
  hyperpolymath
  committed
  2deab08