main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
logics\classes\propositional\proof_theories\tableaux.py
151 20 1
A
logics\utils\old\tables.py
59 1 1
A
logics\utils\old\input_validator.py
30 1 1
A
logics\instances\propositional\axiom_systems.py
 1 -
A
logics\classes\propositional\language.py
44 1 -
A
logics\instances\propositional\many_valued_semantics.py
4 1 -
A
logics\instances\predicate\natural_deduction.py
 7 -
A
logics\classes\propositional\proof_theories\__init__.py
 1 -
A
logics\instances\propositional\languages.py
 1 -
A
logics\classes\predicate\language.py
99 5 -
A
logics\classes\predicate\proof_theories\__init__.py
 2 -
A
logics\instances\propositional\natural_deduction.py
 5 -
A
logics\instances\propositional\sequents.py
 1 -
A
logics\classes\errors.py
8 6 -
A
logics\classes\propositional\proof_theories\derivation.py
20 1 -
A
logics\instances\propositional\tableaux.py
 2 -
A
docs\source\conf.py
 18 -
A
logics\classes\exceptions.py
 1 -
A
logics\classes\predicate\proof_theories\natural_deduction.py
27 14 -
A
logics\classes\predicate\semantics\__init__.py
 1 -