Improvements to proof infrastructure