Support require stmt and simplified any stmt

fizzbee-io / fizzbee

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

https://fizzbee.io

Apache License 2.0

128 stars 6 forks source link

Closed jp-fizzbee closed 3 months ago