Slang Runtime Library
libraryDependencies += "org.sireum" %%% "library" % "3.2"
Mill build tool
ivy"org.sireum::library::3.2"
Scala CLI
//> using dep "org.sireum::library::3.2"