main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\utils\solvers\first_order_natural_deduction.py
48 10 -
A
logics\utils\old\G_functions_optimized.py
47 1 -
A
logics\utils\formula_generators\generators_biased.py
46 1 -
A
logics\classes\propositional\language.py
44 1 -
A
tests\utils\test_natural_deduction_solver.py
43 5 -
A
logics\utils\old\generators_tester.py
42 1 -
A
logics\utils\solvers\tableaux.py
40 13 1
A
tests\utils\test_tableaux_solver.py
35 14 -
A
logics\classes\propositional\proof_theories\axiom_system.py
33 5 1
A
logics\utils\old\input_validator.py
30 1 1
A
logics\classes\predicate\proof_theories\natural_deduction.py
27 14 -
A
logics\utils\old\Q_functions_optimized.py
25 1 -
A
tests\propositional\test_mvl_semantics.py
24 2 1
A
logics\classes\propositional\proof_theories\derivation.py
20 1 -
A
tests\propositional\test_formula_class.py
18 1 -
A
tests\utils\test_predicate_natural_deduction_solver.py
17 9 -
A
tests\predicate\test_language_formula_classes.py
15 14 -
A
logics\utils\old\set_theory.py
15 1 -
A
logics\utils\old\Q_functions.py
15 1 -
A
tests\utils\test_parser.py
13 5 -