search

LeePatPat / NatDud

System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
MIT License
1 stars 0 forks source link

change treeToFormula(tree, opNum) to treeToFormula(tree) #3

Open LeePatPat opened 6 years ago

LeePatPat commented 6 years ago

This can be made as part of an exported class. This will make the function more usable in the long run.