Improving matrix multiplication with MacBook and a proof assistant

 (github.com)

3 points | by bsddeveloper 10 hours ago ago

1 comments