Skip to content

refactor(Core/Logic): move ConvBackground and Lumping out of Intensional into Semantics#29

Merged
github-actions[bot] merged 1 commit into
mainfrom
intensional-cut-movers
May 30, 2026
Merged

refactor(Core/Logic): move ConvBackground and Lumping out of Intensional into Semantics#29
github-actions[bot] merged 1 commit into
mainfrom
intensional-cut-movers