FLAME: Formal Linear Algebra Method Environment