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