Repository navigation

Qi v4.36 — genuine north C60 signed Stirling factorial-divisibility certificates - #3077

Merged

itakura-hidetoshi merged 2 commits into

mainfrom

feat/qi-v4-36-north-stirling-divisibility

Nov 4, 2026

Merged

Qi v4.36 — genuine north C60 signed Stirling factorial-divisibility certificates#3077
itakura-hidetoshi merged 2 commits into
mainfrom
feat/qi-v4-36-north-stirling-divisibility

Commits on Nov 4, 2026
- feat(Qi v4.36): transfer signed mathlib Stirling and d-factorial divisibility to genuine north C60
  itakura-hidetoshi
  committed
  f37e79c
- build(Qi v4.36): append true north signed-Stirling-divisibility module to public aggregate
  itakura-hidetoshi
  committed
  a5ffb48