session my_strassen = NTP4Verif +
theories
  "my_strassen_MatrixMultiplication_blitqtvc"
