These are chat archives for
Sign in to start talking
Fast symbolic manipulation library, written in C++
May 24 2017 07:22
Any particular reason why we can't go ahead with flint-dev, for all builds? arb will work with flint-dev too, right?
Is it because we want to use stable versions only
May 24 2017 07:23