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

2 points by quadrature 2y ago ↗ HN

1 comment

[ 5.3 ms ] story [ 14.2 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