main
Logic-Learning-Assistance-Tool
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\main\java\com\llat\algorithms\LogicallyContradictoryDeterminer.java
6 4 -
A
src\main\java\com\llat\models\localstorage\uidescription\UIObjectAdaptor.java
3 3 -
A
src\main\java\com\llat\database\DatabaseInterface.java
7 6 -
A
src\main\java\com\llat\models\localstorage\uidescription\mainview\Content.java
5 2 -
A
src\main\java\com\llat\algorithms\TexTruthTreePrinter.java
4 1 -
A
src\main\java\com\llat\models\localstorage\uidescription\mainview\LogicSymbols.java
6 2 -
A
src\main\java\com\llat\database\Main.java
2 7 -
A
src\main\java\com\llat\models\localstorage\uidescription\mainview\MainView.java
5 2 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\MenuBar.java
8 3 -
A
src\main\java\com\llat\models\localstorage\uidescription\mainview\Predicate.java
6 2 -
A
src\main\java\com\llat\algorithms\LogicallyEquivalentDeterminer.java
6 4 -
A
src\main\java\com\llat\models\localstorage\uidescription\mainview\Propositional.java
18 2 -
A
src\main\java\com\llat\algorithms\ArgumentTruthTreeValidator.java
9 3 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\NewProject.java
 1 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\MenuBarContent.java
5 2 -
A
src\main\java\com\llat\models\localstorage\uidescription\menubar\Latex.java
 1 -
A
.github\workflows\maven.yml
 3 -
A
src\main\java\com\llat\algorithms\LogicalTautologyDeterminer.java
6 4 -
A
src\main\java\com\llat\algorithms\OpenTreeDeterminer.java
15 3 -
A
src\main\java\com\llat\algorithms\predicate\GroundSentenceDeterminer.java
5 3 -