The Vellvm (Verified LLVM) coq development.
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.