-
Jenny Zhang authored
added linkSequentNode functions and tests. added isSequentNode, generateProofTreeHTML for the proof tree rendering
Jenny Zhang authoredadded linkSequentNode functions and tests. added isSequentNode, generateProofTreeHTML for the proof tree rendering
sequentAst.js 1.94 KiB