Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#105
investigate the use of __format__ for Python bindings
Can we use
__format__
to more easily customize the way LTL and automata are printed?