Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
128
stars
6
forks
source link
Save states even in playground if it has roles so we can generate seq… #72
Closed
jp-fizzbee closed 1 month ago
… diagrams, remove messages to itself, add name to forks