Theorem Proving via Uniform Proofs