from Hacker News

FizzBee: A Python like language for formal specification

by quadrature on 3/28/24, 4:28 PM with 1 comments

• by jayaprabhakar on 4/7/24, 2:49 AM

  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