proof-tree-builder/proof-tree-builder.github.io

Make structural rules non ad-hoc

Closed this issue · 0 comments

joom commented

Structural rules should appear as actual rules. They shouldn't just change the conclusions from other rules.