Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Support state space options as a yaml frontmatter #69
Closed
jp-fizzbee closed 2 months ago
This simplifies online playground use and easy to share a single file