ease the proof of coincidence count
[why3.git] / examples / verifythis_2016_matrix_multiplication / 
treeb51e0c575c1d6abc831a259a4faa1873ece92201
drwxr-xr-x   ..
-rw-r--r-- 2800 README
-rw-r--r-- 9569 matrices.mlw
drwxr-xr-x - matrices
-rw-r--r-- 16201 matrices_ring_simp.mlw
drwxr-xr-x - matrices_ring_simp
-rw-r--r-- 1603 naive.mlw
drwxr-xr-x - naive
-rw-r--r-- 16569 strassen.mlw
drwxr-xr-x - strassen
-rw-r--r-- 1304 sum_extended.mlw
drwxr-xr-x - sum_extended