/Correctness-of-Strassen-Algorithm

Correctness of Strassen’s algorithm for matrix multiplication.

Primary LanguageCoq

Watchers