main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
tests\predicate\test_language_formula_classes.py
15 14 -
A
logics\utils\upgrade\__init__.py
 2 -
A
logics\instances\propositional\natural_deduction.py
 5 -
A
tests\utils\test_parser.py
13 5 -
A
logics\__init__.py
 1 -
A
logics\classes\propositional\formula.py
68 4 -
A
logics\utils\solvers\__init__.py
 2 -
A
logics\utils\solvers\natural_deduction.py
103 11 1
A
logics\classes\propositional\inference.py
87 3 1
A
logics\utils\solvers\sequents.py
58 1 1
A
logics\utils\solvers\tableaux.py
40 13 1
A
logics\instances\propositional\metainferential_tableaux.py
 7 1
A
logics\classes\propositional\proof_theories\axiom_system.py
33 5 1
A
tests\propositional\test_mvl_semantics.py
24 2 1
A
logics\classes\propositional\proof_theories\metainferential_tableaux.py
60 13 1
A
logics\classes\propositional\proof_theories\tableaux.py
151 20 1
A
logics\utils\old\input_validator.py
30 1 1
A
logics\classes\propositional\semantics\many_valued.py
162 1 1
A
logics\utils\old\tables.py
59 1 1
A
tests\propositional\test_metainferential_tableaux.py
6 3 2