Skip to content
GitLab
Explore
Sign in
PMC-SOG
experiments
hybrid
Issues
#1
Add quotes around atomic propositions
pmc-sog
thinks that an F at the start of an AP (e.g. Fork) is an LTL operator.