I’ll discuss joint work with J.H. Giansiracusa in which we introduce an exterior algebra in the idempotent setting which plays the role for tropical linear spaces (and hence for valuated matroids) that the exterior algebra does for linear spaces over a field. In the special case of the Boolean semifield, this yields a mulitlinear-algebraic cryptomorphism for matroids.