Include links to proofs and raw experimental data