GitHub repository: GrigoriiSolnyshkin/SnaKt
Primary language: Kotlin
Created: 2025-06-18T12:16:17Z
Description: Formal verification support for Kotlin