2lambda123/logics

main

logics

Grade	Name	Complexity	Churn	Issues
A	tests\predicate\test_natural_deduction.py	9	11	-
A	logics\classes\propositional\proof_theories\metainferential_tableaux.py	60	13	1
A	logics\utils\solvers\tableaux.py	40	13	1
A	logics\classes\predicate\proof_theories\natural_deduction.py	27	14	-
A	tests\predicate\test_language_formula_classes.py	15	14	-
A	tests\utils\test_tableaux_solver.py	35	14	-
A	logics\classes\propositional\proof_theories\natural_deduction.py	125	15	2
A	docs\source\conf.py		18	-
A	logics\classes\propositional\proof_theories\tableaux.py	151	20	1
A	tests\propositional\test_tableaux.py	13	23	-