17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Conference