k

karat-kotest-ktor-linuxx64

A DSL to specify systems using linear temporal logic
https://github.com/xebia-functional/karat
The Apache License, Version 2.0
Xebia Functional
using linear systems specify logic temporal
Aggregated version Version Update time
0.1 0.1.3 Aug 11, 2023
0.1.3-alpha.3 Aug 11, 2023
2 Records