main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\instances\predicate\languages.py
2 4 -
A
logics\utils\old\set_theory.py
15 1 -
A
logics\utils\upgrade\__init__.py
 2 -
A
logics\instances\propositional\languages.py
 1 -
A
readthedocs.yaml
 3 -
A
logics\classes\predicate\language.py
99 5 -
A
tests\predicate\test_language_formula_classes.py
15 14 -
A
logics\classes\propositional\proof_theories\__init__.py
 1 -
A
logics\classes\propositional\__init__.py
 1 -
A
logics\instances\predicate\model_semantics.py
 1 -
A
logics\utils\parsers\__init__.py
 2 -
A
tests\propositional\test_formula_class.py
18 1 -
A
logics\instances\propositional\natural_deduction.py
 5 -
A
logics\instances\predicate\model_subclasses\__init__.py
 1 -
A
logics\utils\parsers\predicate_parser.py
 8 -
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 -