Arno Ehle

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Helping Students

Natural Deduction

Sequent Calculus

Top Venues

Publications

Arno Ehle, Norbert Hundeshagen, Martin Lange
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. ThEdu@CADE (2017)
Arno Ehle, Norbert Hundeshagen, Martin Lange
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs. CoRR (2015)