main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\__init__.py
 1 -
A
logics\classes\predicate\semantics\models.py
 1 -
A
logics\utils\old\formula_parser.py
 1 -
A
logics\classes\propositional\__init__.py
 1 -
A
readthedocs.yaml
 3 -
A
logics\instances\predicate\natural_deduction.py
 7 -
A
logics\instances\predicate\model_subclasses\__init__.py
 1 -
A
logics\utils\old\random_formula_generator.py
 1 -
A
logics\instances\propositional\languages.py
 1 -
A
logics\utils\solvers\__init__.py
 2 -
A
logics\classes\propositional\proof_theories\__init__.py
 1 -
A
tests\predicate\test_model_semantics.py
 1 -
A
logics\utils\formula_generators\generators_unbiased.py
 1 -
A
logics\instances\propositional\tableaux.py
 2 -
A
tests\propositional\test_axiom_system.py
2 3 -
A
logics\instances\predicate\languages.py
2 4 -
A
logics\instances\propositional\many_valued_semantics.py
4 1 -
A
tests\propositional\test_natural_deduction.py
4 9 -
A
tests\propositional\test_language_class.py
4 1 -
A
tests\utils\test_sequent_reducer.py
5 1 -