2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	tests\utils\test_tableaux_solver.py	35	14	-
A	tests\utils\test_sequent_reducer.py	5	1	-
A	tests\utils\test_predicate_natural_deduction_solver.py	17	9	-
A	tests\utils\test_parser.py	13	5	-
A	tests\utils\test_natural_deduction_solver.py	43	5	-
A	tests\utils\test_formula_generators.py	12	1	-
A	tests\propositional\test_tableaux.py	13	23	-
A	tests\propositional\test_sequents.py	13	1	-
A	tests\propositional\test_natural_deduction.py	4	9	-
A	tests\propositional\test_mvl_semantics.py	24	2	1
A	tests\propositional\test_metainferential_tableaux.py	6	3	2
A	tests\propositional\test_mapped_logic.py	9	1	7
A	tests\propositional\test_language_class.py	4	1	-
A	tests\propositional\test_inference_class.py	10	2	-
A	tests\propositional\test_formula_class.py	18	1	-
A	tests\propositional\test_axiom_system.py	2	3	-
A	tests\predicate\test_natural_deduction.py	9	11	-
A	tests\predicate\test_model_semantics.py		1	-
A	tests\predicate\test_language_formula_classes.py	15	14	-
A	techstack.yml		1	-