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

Make substitution a class method rather than a separate function

Closed this issue · 0 comments

joom commented

Started this but left it unfinished.