FizzBee: A Python like language for formal specificationgithub.com/fizzbee-io2 pointsquadrature2 years ago