main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\utils\old\logic.py
 1 -
A
logics\utils\old\input_validator.py
30 1 1
A
logics\utils\old\generators_tester.py
42 1 -
A
logics\utils\old\formula_parser.py
 1 -
A
logics\utils\old\Q_functions_optimized.py
25 1 -
A
logics\utils\old\Q_functions.py
15 1 -
A
logics\utils\old\G_functions_optimized.py
47 1 -
A
logics\utils\old\G_functions.py
65 1 -
A
logics\utils\formula_generators\generators_unbiased.py
 1 -
A
logics\utils\formula_generators\generators_biased.py
46 1 -
A
logics\instances\propositional\tableaux.py
 2 -
A
logics\instances\propositional\sequents.py
 1 -
A
logics\instances\propositional\natural_deduction.py
 5 -
A
logics\instances\propositional\metainferential_tableaux.py
 7 1
F
logics\instances\propositional\mapped_logic_semantics.py
 1 328
A
logics\instances\propositional\many_valued_semantics.py
4 1 -
A
logics\instances\propositional\languages.py
 1 -
A
logics\instances\propositional\axiom_systems.py
 1 -
A
logics\instances\predicate\natural_deduction.py
 7 -
A
logics\instances\predicate\model_subclasses\arithmetic.py
12 1 -