Maki
Formally verfied low-code orchestration
Loading...
Searching...
No Matches
Examples

Here, we present a few examples of tasks defined with the KODA language and their corresponding MAKI files.