Arno Ehle

According to our database, Arno Ehle authored at least 2 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs.

Arno Ehle, Norbert Hundeshagen, Martin Lange

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2015

The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs.

Arno Ehle, Norbert Hundeshagen, Martin Lange

CoRR, 2015