/fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Primary LanguagePythonApache License 2.0Apache-2.0

Watchers