SBT multiproject setup

package com.example.ComFreek

// Cannot resolve symbol "mmt"
import info.kwarc.mmt.api.frontend.{Controller}

object Test {
    def main(args: Array[String]): Unit = {
        val ctrl = new Controller
        println("Works!")
    }
}