Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#18
rewrite the web page ltl2tgba.html so its interface is similar to that of the command-line ltl2tgba
I wish we would also have
ltlfilt.html
,
autfilt.html
, etc.