Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
Proof Assistant with Solver
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Zhang, Jenny
Proof Assistant with Solver
Graph
f96bb72562819e8ca8408f738f1d34c4dee7cf1c
Select Git revision
Branches
1
master
default
1 result
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
20
Jun
14
13
11
4
26
May
25
24
23
Update dialog instructions for selecting inference rule and typing answers
master
master
Update project setup instructions in README.md
Update README.md with table of contents and user flowchart
Update image file extensions in README.md
Update image file extensions in README.md
Update Readme document with predefined inference rules of classical logic
Update README.md and optimize project setup instructions
feat: Update README.md and optimize project setup instructions
feat: Update Readme document
feat: Update validAnswers function to validRuleApplication for clarity and consistency
Optimize the layout of logical trees
since 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 tests
Added containExpNode in expAsit.js in order to complement axiom rule in ndRules.js with tests
added brackets for rule name in proof tree
sort the list without changing the original list, therefore, the order of the standard answer doesn't change in proof tree
added the Tooltip to the botton in ProofStepDialog.vue for a better user interface
improve the Input Guide in App.vue for a better user interface
fixed the astToString and astToLatex with the problem when encountering only one type of connectives in one statement
recover generateProofTreeHTML function in sequentAst.js for possible future functionality
Add scrolling to #proof-tree-container for overflow content
formatted the code and deleted test code(console.log), change the icon to imperial
Refactor node handling and HTML generation
added clean bottoms in dialog
fixed the problem in translating the standardAnswer from ast to string, so now validator works well
improve the error messges
improved the error message of each rule function
complete validator function for checking if the students apply the rule correctly
change all the type of output of ndRule function
change the function input type from expression to list of expressions
add dynamic input field for specific rules in Proof Step Validator
added addNodeToTop function
added more selection fro Virtualized Select, and added a ruleFunction to record wich rule was selected
change 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 tring
feat: Add current statement and AST to proof step dialog in order to pass value
Clear previous error message
fixed the visibility of dialog
feat: Add hover effect to turnstile in proof tree
made proof tree showing in the center of the box
made the proof tree working
Loading