Changing the semantics of LTLf to match most papers#1

nathanael-fijalkow merged 1 commit into

mainSynthesisLab/BoltLean:mainfrom

ltlf-nonempty-semanticsSynthesisLab/BoltLean:ltlf-nonempty-semanticsCopy head branch name to clipboard