Implementation of general array multiplication
Primary LanguageCoq
No one’s watching this repository yet.