GitHub repository: Copilot-Language/copilot-verifier
Primary language: Haskell
Description: System for verifying the correctness of generated Copilot programs