13 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
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…