Simple Linear Temporal Logic Checker
Primary LanguageHaskellMIT LicenseMIT
This repository is not active