Robuta

https://math.sissa.it/publication/bispy-bisimulation-python BisPy: Bisimulation in Python | Mathematics Area - SISSA python mathematicsareasissa