Skip to content

A shape of statement implies a fact of another property, read once per phrase and cached - #882

Merged
WaylandYang merged 4 commits into
devfrom
feat/implication-rules
Sep 23, 2026
Merged

WaylandYang merged 4 commits into
devfrom
feat/implication-rules

Merge branch 'dev' into feat/implication-rules

c590e08
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 23, 2026 in 0s

DCO

All commits are signed off!