Materials associated with the manuscript "Mathematicians’ assessments of the explanatory value of proofs"

Data, R code, and materials associated with the manuscript "Mathematicians’ assessments of the explanatory value of proofs".
All decisions are listed in the file "Decisions-combined", the candidate codes (which refer to the proofs chosen and not chosen in each comparison) can be interpreted using the "ModelledRes" file. The Group variable can be used to split the sample into the two groups referred to in the manuscript.
The ModelledRes file gives data for each proof. The parameters that index perceived explanatoriness are in the theta column (with associated SEs in the se.theta column).
The AnalysisScript.R file gives the R code used to produce these results and the associated reliability coefficients.