2lambda123/ariroffe

main

ariroffe

Grade	Name	Complexity	Churn	Issues
A	logics\utils\parsers\predicate_parser.py		8	-
A	logics\utils\parsers\standard_parser.py	103	1	4
A	logics\utils\solvers\__init__.py		2	-
A	logics\utils\solvers\first_order_natural_deduction.py	48	10	-
A	logics\utils\solvers\natural_deduction.py	103	11	1
A	logics\utils\solvers\sequents.py	58	1	1
A	logics\utils\solvers\tableaux.py	40	13	1
A	logics\utils\upgrade\__init__.py		2	-
A	logics\utils\upgrade\upgrade.py	11	1	-
A	readthedocs.yaml		3	-
A	tests\predicate\test_language_formula_classes.py	15	14	-
A	tests\predicate\test_model_semantics.py		1	-
A	tests\predicate\test_natural_deduction.py	9	11	-
A	tests\propositional\test_axiom_system.py	2	3	-
A	tests\propositional\test_formula_class.py	18	1	-
A	tests\propositional\test_inference_class.py	10	2	-
A	tests\propositional\test_language_class.py	4	1	-
A	tests\propositional\test_mapped_logic.py	9	1	7
A	tests\propositional\test_metainferential_tableaux.py	6	3	2
A	tests\propositional\test_mvl_semantics.py	24	2	1