Login / Signup
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs.
Arno Ehle
Norbert Hundeshagen
Martin Lange
Published in:
CoRR (2015)
Keyphrases
</>
sequent calculus
cut elimination
helping students
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
video games
deeper understanding
wide class
high school students
middle school students
sufficient conditions
proof search
theorem prover
active learning