Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?

Add code
Sep 01, 2010

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: