Improving QED-Tutrix by Automating the Generation of Proofs

Add code
Mar 05, 2018
Figure 1 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 2 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 3 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 4 for Improving QED-Tutrix by Automating the Generation of Proofs

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: