Maybe it's likely that he didn't have proofs, but surely had all kinds of theorems with at the very least some intuition of a proof. Recall that he wouldn't have had the same huge breadth and depth of mathematical machinery available to him that we have now.