Skip to content
GitLab
Explore
Sign in
Software
COOL
Issues
#53
Implement LTL encoding
LTL should be implementable on functional Kripke frames.