Skip to content

plan: scope the axiom + syllogism lens — argument as the fourth reachability substrate (SCOPE-ONLY) - #5521

Merged
briansrls merged 1 commit into
mainfrom
session/quick-eagle-39
Jun 22, 2026
Merged

plan: scope the axiom + syllogism lens — argument as the fourth reachability substrate (SCOPE-ONLY)#5521
briansrls merged 1 commit into
mainfrom
session/quick-eagle-39

WIP: Scope the axiom and syllogism lens - the next expressibility-fro…

a56fa2e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar