Copilot-Language/copilot-verifier

System for verifying the correctness of generated Copilot programs

语言：Haskell · GitHub 星标：20 · Fork：1

在 GitHub 上查看原仓库