You need to sign in or sign up before continuing.×
Loading A special set of matrices closed under matmul and transpose
4 kyu
Loading A special set of matrices closed under matmul and transpose
4 kyu
A special set of matrices closed under matmul and transpose
9 of 34solitude
-
Language
- Agda (Beta)
- Coq
-
Language Version
