session verifythis_2016_matrix_multiplication = NTP4Verif +
sessions
  "Why3STD"
theories
  "sum_extended_Sum_extended"
  "naive_MatrixMultiplication"
  "matrices_MatrixGen"
  "matrices_MyMatrix"
  "matrices_MatrixArithmetic"
  "my_strassen_MatrixMultiplication"
