2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	logics\utils\old\Q_functions_optimized.py	25	1	-
A	tests\propositional\test_language_class.py	4	1	-
A	logics\utils\old\generators_tester.py	42	1	-
A	techstack.yml		1	-
A	logics\utils\old\logic.py		1	-
A	tests\predicate\test_language_formula_classes.py	15	14	-
A	logics\classes\propositional\formula.py	68	4	-
A	logics\utils\solvers\first_order_natural_deduction.py	48	10	-
A	logics\classes\propositional\semantics\mapped_logic.py	57	1	-
A	tests\predicate\test_model_semantics.py		1	-
A	logics\utils\old\random_formula_generator.py		1	-
A	logics\instances\predicate\languages.py	2	4	-
A	logics\instances\predicate\model_semantics.py		1	-
A	logics\utils\solvers\__init__.py		2	-
A	tests\propositional\test_sequents.py	13	1	-
A	tests\propositional\test_natural_deduction.py	4	9	-
A	tests\predicate\test_natural_deduction.py	9	11	-
A	readthedocs.yaml		3	-
A	logics\utils\upgrade\upgrade.py	11	1	-
A	logics\classes\predicate\formula.py	129	10	-