[website](http://perso.ens-lyon.fr/alexandre.miquel/) ## Output The experimental effectiveness of mathematical proof, [pdf](http://perso.ens-lyon.fr/alexandre.miquel/publis/effectiveness.pdf)