You are about to access our book library "Deduction, Computation, Experiment: Exploring the Effectiveness of Proof full version" .