• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
main
logics
Repository badge with A rating
View on GitHub

  • 374 issues
  • 0 pull requests
  • 90 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
readthedocs.yaml
3 -
A
logics\utils\upgrade\upgrade.py
11 1 -
A
logics\utils\upgrade\__init__.py
2 -
A
logics\utils\solvers\tableaux.py
40 13 1
A
logics\utils\solvers\sequents.py
58 1 1
A
logics\utils\solvers\natural_deduction.py
103 11 1
A
logics\utils\solvers\first_order_natural_deduction.py
48 10 -
A
logics\utils\solvers\__init__.py
2 -
A
logics\utils\parsers\standard_parser.py
103 1 4
A
logics\utils\parsers\predicate_parser.py
8 -
A
logics\utils\parsers\parser_utils.py
122 1 2
A
logics\utils\parsers\__init__.py
2 -
A
logics\utils\old\tables.py
59 1 1
A
logics\utils\old\set_theory.py
15 1 -
A
logics\utils\old\random_formula_generator.py
1 -
A
logics\utils\old\propositional_semantics.py
240 1 2
A
logics\utils\old\predicate_nd.py
230 1 3
A
logics\utils\old\natural_deduction_solver(old).py
154 1 2
A
logics\utils\old\natural_deduction.py
213 1 4
A
logics\utils\old\models.py
1 -
  • Previous Page
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.