6.2321 And, that the propositions of mathematics can be proved, means indeed nothing other than that their correctness can be seen without it being necessary to compare what they express with the objects in order to determine its correctness.

Pears & McGuinness are good here. So mathematical proof is a priori, like “proof” in logic.