Picture for Hinrich Lorenzen

Hinrich Lorenzen

Europa-Universität Flensburg

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

Add code
Feb 08, 2022
Figure 1 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 2 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 3 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 4 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Viaarxiv icon