Ten years of parallel theorem proving: a perspective