Improving matrix multiplication with MacBook and a proof assistant(github.com)
2 pointsby bsddeveloperan hour ago1 comment