GitHub repository: GaloisInc/copilot-verifier
Primary language: Haskell
Created: 2021-09-09T18:11:43Z
Description: System for verifying the correctness of generated Copilot programs