Hinrich Lorenzen

According to our database, Hinrich Lorenzen authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche.

Merlin Carl, Hinrich Lorenzen, Michael Schmitz

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021