Copilot-Language/copilot-sbv

(DEPRECATED) SBV backend for Copilot.

HaskellNOASSERTION