FLAME Formal Linear Algebra Methods Environment