with Bringsjord, S. , 2015, 'Proof verification and proof discovery for relativity', Synthese 192 (7), 2077-2094.