Using Coq to verify LLVM optimization passes.cis.upenn.edu3 points·erichocean··0 commentsOpen articleSaveView on HN