summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-06-16more work on console functionsKai Stevenson
2023-06-14added contradiction to lexerKai Stevenson
2023-06-13created file for console related functions. will support scrolling the ↵Kai Stevenson
output and expanding lines
2023-06-13added implication elim ruleKai Stevenson
2023-06-13starting a new assumption on the same depth creates a new scope, added ↵Kai Stevenson
scoping detections for all rules
2023-06-13restructured projectKai Stevenson
2023-06-13implemented scoping for some justifications, added helper functionsKai Stevenson
2023-06-13added scoping; probably doesn't workKai Stevenson
2023-06-13fixed bugs, just_is_sound works for conjunct introKai Stevenson
2023-06-13added indentation support for |as ruleKai Stevenson
2023-06-13added negationKai Stevenson
2023-06-12added some comments, added a license and a readmeKai Stevenson
2023-06-11added parsing of justificationsKai Stevenson
2023-06-11parsing propositions works now. added some debugging toolsKai Stevenson
2023-06-10lexing worksKai Stevenson
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-22 04:18:03 +0000