An Extensible Theorem Proving Frontend