4 ms·

FizzBee: A Python like language for formal specification

2 points by quadrature 3y ago

jayaprabhakar 3y ago
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