Formally verified operator language and rewriting engine for high-performance computing
Primary LanguageCoq