FizzBee: A Python like language for formal specification (github.com)

2 points by quadrature 2y ago ↗ HN

1 comment

[ 2.6 ms ] story [ 9.4 ms ] thread

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