activity
20152022
most citedNatural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche

5 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2020★ 3 cited

Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics

Merlin Carl

The Diproche system, an automated proof checker for natural language proofs specifically adapted to the context of exercises for beginner's students similar to the Naproche system…