Mathlib DR1 alpha has been released. Important changes include bugfixes to rotate() and concatenated indexers. The speed of matrix-vector multiplication has been increased.
Log in to post a comment.