Skip to content

Export says which family a rule belongs to, and an axiom rule its kind and declaring predicate - #910

Merged
WaylandYang merged 1 commit into
devfrom
feat/rule-export-family-and-kind
Sep 24, 2026
Merged

Export says which family a rule belongs to, and an axiom rule its kind and declaring predicate#910
WaylandYang merged 1 commit into
devfrom
feat/rule-export-family-and-kind

Export says which family a rule belongs to, and an axiom rule its kin…

4bddf1f
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 24, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO