HLK ProofTool
TU Vienna logic.at Theory and Logic Group (E185-2)

LKDe

LKDe is an exstension of LK. Besides the rules of LK, LKDe contains definition- and equality rules.