main
logics
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
tests\propositional\test_mvl_semantics.py
24 2 1
A
tests\propositional\test_natural_deduction.py
4 9 -
A
tests\propositional\test_sequents.py
13 1 -
A
tests\propositional\test_tableaux.py
13 23 -
A
tests\utils\test_formula_generators.py
12 1 -
A
tests\utils\test_natural_deduction_solver.py
43 5 -
A
tests\utils\test_parser.py
13 5 -
A
tests\utils\test_predicate_natural_deduction_solver.py
17 9 -
A
tests\utils\test_sequent_reducer.py
5 1 -
A
tests\utils\test_tableaux_solver.py
35 14 -