Repository navigation

Golf batch 6: EdreiThoma, Hyperbolicity, MorrisDFlow and others - #1995

Merged

PerAlexandersson merged 5 commits into

mainfrom

Oct 21, 2026

Merged

Golf batch 6: EdreiThoma, Hyperbolicity, MorrisDFlow and others#1995
PerAlexandersson merged 5 commits into
mainfrom
core/golf-6

Commits on Oct 21, 2026
- Golf OddPart, Hyperbolicity
  
  PerAlexandersson
  and
  claude
  committed
  2d90949
- Golf GeneralizedSnakePosets, MorrisDFlow
  
  PerAlexandersson
  and
  claude
  committed
  8a2ea50
- Golf SymbolBridge, Continuation, Converse
  
  PerAlexandersson
  and
  claude
  committed
  13e4c86
- Golf Boundary, Chow, GustafssonSolus
  
  PerAlexandersson
  and
  claude
  committed
  5a9e96e
- Merge remote-tracking branch 'origin/main' into core/golf-6
  PerAlexandersson
  committed
  3ae496e