Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Jun141311426May252423Update dialog instructions for selecting inference rule and typing answersmastermasterUpdate project setup instructions in README.mdUpdate README.md with table of contents and user flowchartUpdate image file extensions in README.mdUpdate image file extensions in README.mdUpdate Readme document with predefined inference rules of classical logicUpdate README.md and optimize project setup instructionsfeat: Update README.md and optimize project setup instructionsfeat: Update Readme documentfeat: Update validAnswers function to validRuleApplication for clarity and consistencyOptimize the layout of logical treessince Axiom and excluded middle law don't't need inputting answers, so I added a function to determine whether an answer is required. If not, hide the answer input field in the dialog.added exludedMiddle function in ndRules.js with testsAdded containExpNode in expAsit.js in order to complement axiom rule in ndRules.js with testsadded brackets for rule name in proof treesort the list without changing the original list, therefore, the order of the standard answer doesn't change in proof treeadded the Tooltip to the botton in ProofStepDialog.vue for a better user interfaceimprove the Input Guide in App.vue for a better user interfacefixed the astToString and astToLatex with the problem when encountering only one type of connectives in one statementrecover generateProofTreeHTML function in sequentAst.js for possible future functionalityAdd scrolling to #proof-tree-container for overflow contentformatted the code and deleted test code(console.log), change the icon to imperialRefactor node handling and HTML generationadded clean bottoms in dialogfixed the problem in translating the standardAnswer from ast to string, so now validator works wellimprove the error messgesimproved the error message of each rule functioncomplete validator function for checking if the students apply the rule correctlychange all the type of output of ndRule functionchange the function input type from expression to list of expressionsadd dynamic input field for specific rules in Proof Step Validatoradded addNodeToTop functionadded more selection fro Virtualized Select, and added a ruleFunction to record wich rule was selectedchange generateProofTreeHTML function by inserting an attribute to record the original string. So that we could pass it to the dialog for rule application. And added currentString and conclusionString to pass this original tringfeat: Add current statement and AST to proof step dialog in order to pass valueClear previous error messagefixed the visibility of dialogfeat: Add hover effect to turnstile in proof treemade proof tree showing in the center of the boxmade the proof tree working