Optimising the proof test burden

23 Dec 2017