Towards Automated Proof Strategy Generalisation

Add code
Jun 09, 2013
Figure 1 for Towards Automated Proof Strategy Generalisation
Figure 2 for Towards Automated Proof Strategy Generalisation
Figure 3 for Towards Automated Proof Strategy Generalisation
Figure 4 for Towards Automated Proof Strategy Generalisation

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: