I cannot add a comment, so I must have to ask this as an answer. What exactly does linguistic analysis consist of? Are you really going to study the wording used, the vocabulary, the ontology, and the structuring of the lexical elements of the proof?
Are you going to analyze the symbols and formulae along with the textual words? Thanks for considering my question.
Another question: what if you did linguistic analysis on a proof that was incorrect? Is there any relation between
what the content of the proof is
what the correctness of the proof is
what the linguistic content and the syntactical form of the proof is
what the ontological underpinnings are of the vocabulary used in the proof
what symbology and representational schema are used in the formulae in the proof