FizzBee: A Python like language for formal specification

I'm the developer of FizzBee. Thanks for sharing here. I just noticed it even searching for my own post on this.

I hope you tried FizzBee and I love any feedback