2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	logics\utils\old\natural_deduction_solver(old).py	154	1	2
A	logics\utils\old\propositional_semantics.py	240	1	2
A	logics\utils\parsers\parser_utils.py	122	1	2
A	tests\propositional\test_metainferential_tableaux.py	6	3	2
A	logics\utils\old\predicate_nd.py	230	1	3
B	logics\classes\propositional\proof_theories\sequents.py	190	4	4
A	logics\utils\old\natural_deduction.py	213	1	4
A	logics\utils\parsers\standard_parser.py	103	1	4
A	tests\propositional\test_mapped_logic.py	9	1	7
F	logics\instances\propositional\mapped_logic_semantics.py		1	328