7 citations · 7 across the 1 of their papers we have counts for
1 paper
Arno Ehle, Norbert Hundeshagen, Martin Lange
We present the Sequent Calculus Trainer, a tool that supports students in learning how to correctly construct proofs in the sequent calculus for first-order logic with equality. It…