Adds arrays to the IMP language and proves various properties with them
Primary LanguageCoq
No issues in this repository yet.