main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\utils\old\G_functions_optimized.py
47 1 -
A
logics\utils\old\Q_functions.py
15 1 -
A
docs\source\conf.py
 18 -
A
logics\classes\exceptions.py
 1 -
A
logics\classes\predicate\proof_theories\natural_deduction.py
27 14 -
A
logics\utils\old\Q_functions_optimized.py
25 1 -
A
logics\utils\old\formula_parser.py
 1 -
A
logics\utils\old\generators_tester.py
42 1 -
A
logics\utils\old\logic.py
 1 -
A
logics\classes\predicate\semantics\__init__.py
 1 -
A
logics\classes\propositional\semantics\__init__.py
 1 -
A
logics\utils\old\models.py
 1 -
A
logics\classes\predicate\__init__.py
 2 -
A
logics\classes\predicate\semantics\models.py
 1 -
A
logics\classes\propositional\semantics\mapped_logic.py
57 1 -
A
logics\utils\old\random_formula_generator.py
 1 -
A
logics\instances\predicate\languages.py
2 4 -
A
logics\utils\old\set_theory.py
15 1 -
A
logics\classes\propositional\__init__.py
 1 -
A
logics\instances\predicate\model_semantics.py
 1 -