Skip to content

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
Merged

Add trailing newline to axiom rule format for consistency#118
hzhangxyz merged 2 commits into
mainfrom
copilot/update-bnf-rule-string-format

Add trailing newline to axiom (no-premises) rule format

f60a0d5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar