1FizzBee: A Python like language for formal specification (opens in new tab)(github.com)GitHub2quadrature2y ago1Save