Thanks to visit codestin.com
Credit goes to github.com

Skip to content

kongy/ET

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

210 Commits
.clang-format
.clang-format
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
AST.cpp
AST.cpp
 
 
AST.hpp
AST.hpp
 
 
ET.pro
ET.pro
 
 
ET.qrc
ET.qrc
 
 
README.md
README.md
 
 
embeddedpushbutton.hpp
embeddedpushbutton.hpp
 
 
equivalenceengine.cpp
equivalenceengine.cpp
 
 
equivalenceengine.hpp
equivalenceengine.hpp
 
 
equivalences.xml
equivalences.xml
 
 
equivalenceutility.cpp
equivalenceutility.cpp
 
 
equivalenceutility.hpp
equivalenceutility.hpp
 
 
format.sh
format.sh
 
 
formulareplacementdialog.cpp
formulareplacementdialog.cpp
 
 
formulareplacementdialog.hpp
formulareplacementdialog.hpp
 
 
formulareplacementdialog.ui
formulareplacementdialog.ui
 
 
idtable.cpp
idtable.cpp
 
 
idtable.hpp
idtable.hpp
 
 
inputpanel.cpp
inputpanel.cpp
 
 
inputpanel.hpp
inputpanel.hpp
 
 
inputpanel.ui
inputpanel.ui
 
 
lexer.l
lexer.l
 
 
logicset.cpp
logicset.cpp
 
 
logicset.hpp
logicset.hpp
 
 
main.cpp
main.cpp
 
 
main.hpp
main.hpp
 
 
mainwindow.cpp
mainwindow.cpp
 
 
mainwindow.hpp
mainwindow.hpp
 
 
mainwindow.ui
mainwindow.ui
 
 
matchedruleselectiondialog.cpp
matchedruleselectiondialog.cpp
 
 
matchedruleselectiondialog.hpp
matchedruleselectiondialog.hpp
 
 
matchedruleselectiondialog.ui
matchedruleselectiondialog.ui
 
 
newsolutiondialog.cpp
newsolutiondialog.cpp
 
 
newsolutiondialog.hpp
newsolutiondialog.hpp
 
 
newsolutiondialog.ui
newsolutiondialog.ui
 
 
parser.y
parser.y
 
 
replacementinputdialog.cpp
replacementinputdialog.cpp
 
 
replacementinputdialog.hpp
replacementinputdialog.hpp
 
 
replacementinputdialog.ui
replacementinputdialog.ui
 
 
ruleengine.cpp
ruleengine.cpp
 
 
ruleengine.hpp
ruleengine.hpp
 
 
solutionmodel.cpp
solutionmodel.cpp
 
 
solutionmodel.hpp
solutionmodel.hpp
 
 
solutiontabwidget.cpp
solutiontabwidget.cpp
 
 
solutiontabwidget.hpp
solutiontabwidget.hpp
 
 
solutiontabwidget.ui
solutiontabwidget.ui
 
 
subformulaselectiondialog.cpp
subformulaselectiondialog.cpp
 
 
subformulaselectiondialog.hpp
subformulaselectiondialog.hpp
 
 
subformulaselectiondialog.ui
subformulaselectiondialog.ui
 
 
symbol.hpp
symbol.hpp
 
 
utility.hpp
utility.hpp
 
 
welcomepagewidget.cpp
welcomepagewidget.cpp
 
 
welcomepagewidget.hpp
welcomepagewidget.hpp
 
 
welcomepagewidget.ui
welcomepagewidget.ui
 
 

Repository files navigation

ET - Equivalence Tutor

The project is to make teaching software to help 1st-year undergraduates and possibly MSc logic students learn to construct correct proofs that two logical formulas are logically equivalent, by transforming one formula into the other using a standard base set of equivalences.

About

ET - Equivalence Tutor

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages