Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#5
get rid of the Kripke parser
once
#4 (closed)
is done, we can teach the HOA parser how to fill such a structure