A package for verifying safety properties of Copilot programs using model-checking
Primary LanguageHaskellOtherNOASSERTION