Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Go Updated 24 days ago 1 commits 362 stars
vertex-agent|Mirror: fizzbee-io/fizzbee (⭐362)
24 days agoAbout
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Readme
362 stars
24 forks