summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-03-04added inttypes header for freebsd compat.HEADmasterKai Stevenson
2023-06-19fixed man pageKai Stevenson
2023-06-19added man pageKai Stevenson
2023-06-19added q key to exitKai Stevenson
2023-06-19actually added examplesKai Stevenson
2023-06-19added examplesKai Stevenson
2023-06-18added more alternatives for tokens in lexerKai Stevenson
2023-06-17separated switch case into functions, added negation intro ruleKai Stevenson
2023-06-17updated readmeKai Stevenson
2023-06-17added contradiction introduction ruleKai Stevenson
2023-06-17console library works nowKai Stevenson
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 output...Kai Stevenson
2023-06-13added implication elim ruleKai Stevenson
2023-06-13starting a new assumption on the same depth creates a new scope, added scopin...Kai Stevenson
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-21 23:05:53 +0000