Text this: Formal Theories for Linear Algebra