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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: