Improving matrix multiplication with MacBook and a proof assistant

3 points | by bsddeveloper 11 hours ago

1 comments