2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	tests\propositional\test_tableaux.py	13	23	-
A	logics\classes\propositional\proof_theories\tableaux.py	151	20	1
A	docs\source\conf.py		18	-
A	logics\classes\propositional\proof_theories\natural_deduction.py	125	15	2
A	tests\utils\test_tableaux_solver.py	35	14	-
A	logics\classes\predicate\proof_theories\natural_deduction.py	27	14	-
A	tests\predicate\test_language_formula_classes.py	15	14	-
A	logics\utils\solvers\tableaux.py	40	13	1
A	logics\classes\propositional\proof_theories\metainferential_tableaux.py	60	13	1
A	tests\predicate\test_natural_deduction.py	9	11	-
A	logics\utils\solvers\natural_deduction.py	103	11	1
A	logics\utils\solvers\first_order_natural_deduction.py	48	10	-
A	logics\classes\predicate\formula.py	129	10	-
A	tests\utils\test_predicate_natural_deduction_solver.py	17	9	-
A	tests\propositional\test_natural_deduction.py	4	9	-
A	logics\utils\parsers\predicate_parser.py		8	-
A	logics\instances\predicate\natural_deduction.py		7	-
A	logics\instances\propositional\metainferential_tableaux.py		7	1
A	logics\classes\errors.py	8	6	-
A	logics\classes\predicate\language.py	99	5	-