main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\utils\old\Q_functions_optimized.py
25 1 -
A
logics\classes\propositional\semantics\many_valued.py
162 1 1
A
logics\utils\old\generators_tester.py
42 1 -
A
logics\classes\predicate\semantics\__init__.py
 1 -
A
logics\utils\old\logic.py
 1 -
A
logics\__init__.py
 1 -
A
logics\utils\old\natural_deduction.py
213 1 4
A
logics\classes\propositional\__init__.py
 1 -
A
tests\utils\test_sequent_reducer.py
5 1 -
A
tests\propositional\test_sequents.py
13 1 -
A
.github\workflows\snorkell-auto-documentation.yml
 1 -
A
logics\utils\solvers\__init__.py
 2 -
A
logics\classes\predicate\proof_theories\__init__.py
 2 -
A
logics\utils\upgrade\__init__.py
 2 -
A
logics\instances\propositional\tableaux.py
 2 -
A
logics\classes\predicate\__init__.py
 2 -
A
logics\utils\parsers\__init__.py
 2 -
A
tests\propositional\test_mvl_semantics.py
24 2 1
A
tests\propositional\test_inference_class.py
10 2 -
A
logics\classes\propositional\inference.py
87 3 1