Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#157
document all automata properties in concept.org