2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	logics\utils\old\propositional_semantics.py	240	1	2
A	logics\utils\old\predicate_nd.py	230	1	3
A	logics\utils\old\natural_deduction.py	213	1	4
B	logics\classes\propositional\proof_theories\sequents.py	190	4	4
A	logics\classes\propositional\semantics\many_valued.py	162	1	1
A	logics\utils\old\natural_deduction_solver(old).py	154	1	2
A	logics\classes\propositional\proof_theories\tableaux.py	151	20	1
A	logics\classes\predicate\formula.py	129	10	-
A	logics\classes\propositional\proof_theories\natural_deduction.py	125	15	2
A	logics\utils\parsers\parser_utils.py	122	1	2
A	logics\utils\solvers\natural_deduction.py	103	11	1
A	logics\utils\parsers\standard_parser.py	103	1	4
A	logics\classes\predicate\language.py	99	5	-
A	logics\classes\propositional\inference.py	87	3	1
A	logics\classes\propositional\formula.py	68	4	-
A	logics\utils\old\G_functions.py	65	1	-
A	logics\classes\propositional\proof_theories\metainferential_tableaux.py	60	13	1
A	logics\utils\old\tables.py	59	1	1
A	logics\utils\solvers\sequents.py	58	1	1
A	logics\classes\propositional\semantics\mapped_logic.py	57	1	-