implementation("com.47deg.karat:karat-kotest:0.1.0-alpha.1")
Integrates linear temporal logic DSL with Kotest for system specification and verification.