main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\utils\parsers\predicate_parser.py
 8 -
A
logics\utils\parsers\standard_parser.py
103 1 4
A
logics\utils\solvers\__init__.py
 2 -
A
logics\utils\solvers\first_order_natural_deduction.py
48 10 -
A
logics\utils\solvers\natural_deduction.py
103 11 1
A
logics\utils\solvers\sequents.py
58 1 1
A
logics\utils\solvers\tableaux.py
40 13 1
A
logics\utils\upgrade\__init__.py
 2 -
A
logics\utils\upgrade\upgrade.py
11 1 -
A
readthedocs.yaml
 3 -
A
techstack.yml
 1 -
A
tests\predicate\test_language_formula_classes.py
15 14 -
A
tests\predicate\test_model_semantics.py
 1 -
A
tests\predicate\test_natural_deduction.py
9 11 -
A
tests\propositional\test_axiom_system.py
2 3 -
A
tests\propositional\test_formula_class.py
18 1 -
A
tests\propositional\test_inference_class.py
10 2 -
A
tests\propositional\test_language_class.py
4 1 -
A
tests\propositional\test_mapped_logic.py
9 1 7
A
tests\propositional\test_metainferential_tableaux.py
6 3 2