/ltl

Linear Temporal Logic

Primary LanguageCoq

Stargazers