2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	readthedocs.yaml		3	-
A	tests\propositional\test_metainferential_tableaux.py	6	3	2
A	tests\propositional\test_axiom_system.py	2	3	-
B	logics\classes\propositional\proof_theories\sequents.py	190	4	4
A	logics\instances\predicate\languages.py	2	4	-
A	logics\classes\propositional\formula.py	68	4	-
A	logics\classes\predicate\language.py	99	5	-
A	logics\classes\propositional\proof_theories\axiom_system.py	33	5	1
A	logics\instances\propositional\natural_deduction.py		5	-
A	tests\utils\test_parser.py	13	5	-
A	tests\utils\test_natural_deduction_solver.py	43	5	-
A	logics\classes\errors.py	8	6	-
A	logics\instances\predicate\natural_deduction.py		7	-
A	logics\instances\propositional\metainferential_tableaux.py		7	1
A	logics\utils\parsers\predicate_parser.py		8	-
A	tests\utils\test_predicate_natural_deduction_solver.py	17	9	-
A	tests\propositional\test_natural_deduction.py	4	9	-
A	logics\utils\solvers\first_order_natural_deduction.py	48	10	-
A	logics\classes\predicate\formula.py	129	10	-
A	logics\utils\solvers\natural_deduction.py	103	11	1