Add trailing newline to axiom rule format for consistency - #118

Merged

hzhangxyz merged 2 commits into

mainfrom

copilot/update-bnf-rule-string-format

Dec 16, 2025

Commits on Dec 16, 2025

Initial plan
Copilot
committed
1863885
Add trailing newline to axiom (no-premises) rule format

Copilot
and
hzhangxyz
committed
f60a0d5