main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
docs\source\conf.py
 18 -
A
logics\utils\parsers\parser_utils.py
122 1 2
A
logics\utils\old\generators_tester.py
42 1 -
A
logics\classes\propositional\proof_theories\tableaux.py
151 20 1
A
logics\utils\old\logic.py
 1 -
A
logics\classes\predicate\semantics\__init__.py
 1 -
A
logics\utils\old\natural_deduction.py
213 1 4
A
logics\classes\propositional\semantics\many_valued.py
162 1 1
A
logics\utils\old\predicate_nd.py
230 1 3
A
logics\classes\predicate\__init__.py
 2 -
A
logics\utils\old\random_formula_generator.py
 1 -
A
logics\instances\predicate\languages.py
2 4 -
A
logics\utils\old\tables.py
59 1 1
A
logics\classes\propositional\__init__.py
 1 -
A
logics\instances\predicate\model_subclasses\__init__.py
 1 -
A
.github\workflows\snorkell-auto-documentation.yml
 1 -
A
logics\__init__.py
 1 -
A
logics\classes\predicate\formula.py
129 10 -
A
logics\classes\propositional\formula.py
68 4 -
A
logics\instances\predicate\model_subclasses\arithmetic.py
12 1 -