Mathlib DR1b has been released. The major change is inclusion of SSE support.
Log in to post a comment.
