/LLVM-COQ

Semi-automating verification of LLVM programs using Hoare Logic in Coq

Primary LanguageCoq

Watchers