main
Formal-Logic-Aiding-Tutor
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
.github\workflows\maven.yml
 2 -
A
src\main\java\com\flat\FLAT.java
4 11 -
A
src\main\java\com\flat\algorithms\ArgumentTruthTreeValidator.java
8 4 -
A
src\main\java\com\flat\algorithms\BaseNaturalDeductionValidator.java
135 5 1
A
src\main\java\com\flat\algorithms\BaseTruthTreeGenerator.java
74 3 1
A
src\main\java\com\flat\algorithms\ClosedTreeDeterminer.java
15 2 -
A
src\main\java\com\flat\algorithms\ConditionalProofNaturalDeductionValidator.java
 1 -
A
src\main\java\com\flat\algorithms\IndirectProofNaturalDeductionValidator.java
3 2 -
A
src\main\java\com\flat\algorithms\LogicalFalsehoodDeterminer.java
5 2 -
A
src\main\java\com\flat\algorithms\LogicalTautologyDeterminer.java
6 2 -
A
src\main\java\com\flat\algorithms\LogicallyConsistentDeterminer.java
6 2 -
A
src\main\java\com\flat\algorithms\LogicallyContingentDeterminer.java
8 2 -
A
src\main\java\com\flat\algorithms\LogicallyContradictoryDeterminer.java
6 2 -
A
src\main\java\com\flat\algorithms\LogicallyContraryDeterminer.java
7 2 -
A
src\main\java\com\flat\algorithms\LogicallyEquivalentDeterminer.java
6 2 -
A
src\main\java\com\flat\algorithms\LogicallyImpliedDeterminer.java
6 2 -
A
src\main\java\com\flat\algorithms\MainOperatorDetector.java
7 1 -
A
src\main\java\com\flat\algorithms\NaturalDeductionAlgorithm.java
1 1 -
A
src\main\java\com\flat\algorithms\NaturalDeductionProofVerifier.java
148 7 1
A
src\main\java\com\flat\algorithms\OpenTreeDeterminer.java
15 2 -