main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\classes\propositional\proof_theories\metainferential_tableaux.py
60 13 1
A
logics\classes\propositional\proof_theories\natural_deduction.py
125 15 2
B
logics\classes\propositional\proof_theories\sequents.py
190 4 4
A
logics\classes\propositional\proof_theories\tableaux.py
151 20 1
A
logics\classes\propositional\semantics\__init__.py
 1 -
A
logics\classes\propositional\semantics\many_valued.py
162 1 1
A
logics\classes\propositional\semantics\mapped_logic.py
57 1 -
A
logics\instances\predicate\languages.py
2 4 -
A
logics\instances\predicate\model_semantics.py
 1 -
A
logics\instances\predicate\model_subclasses\__init__.py
 1 -
A
logics\instances\predicate\model_subclasses\arithmetic.py
12 1 -
A
logics\instances\predicate\natural_deduction.py
 7 -
A
logics\instances\propositional\axiom_systems.py
 1 -
A
logics\instances\propositional\languages.py
 1 -
A
logics\instances\propositional\many_valued_semantics.py
4 1 -
F
logics\instances\propositional\mapped_logic_semantics.py
 1 328
A
logics\instances\propositional\metainferential_tableaux.py
 7 1
A
logics\instances\propositional\natural_deduction.py
 5 -
A
logics\instances\propositional\sequents.py
 1 -
A
logics\instances\propositional\tableaux.py
 2 -