Artifacts using Atrium Domain Robstoll Kotlin_1_3 JVM (1)

Provides specifications of Atrium (for the JVM platform) which can be reused by APIs and logic/core implementations of Atrium, to verify that they fulfill the specification.