implementation("com.47deg.karat:karat-common:0.1.2")
Defines systems using linear temporal logic, enabling model verification and implementation checks through integrations with Kotest and Alloy.
