Tropical scheme theory is a method of describing tropical varieties with equations, in order to incorporate more foundations and constructions from modern algebraic geometry into the subject. I'll give an overview of this topic, emphasizing recent connections to matroid theory.