Geeks
Copilot-Language
/
copilot-verifier
System for verifying the correctness of generated Copilot programs
Primary Language
Haskell
copilot-verifier GitHub
Markdown
Readme
25
Issues
14
Stargazers
9
Watchers
Stargazers
acorrenson
ENS Rennes, Saarland University, CISPA
alcides
LASIGE, University of Lisbon
BenjaminGittins
cyw3
danmaster01
Nigeria
EYH0602
@SecurityLab-UCD
kavon
@apple
lafeychine
MATRIXKOO
@Vidar-Team @InProgramming
mmcloughlin
Aurora Innovation
mrragava
smithdtyler
@GaloisInc
tkersey
@thisisartium
unsoundsystem
Japan