These are chat archives for
Sign in to start talking
Fast symbolic manipulation library, written in C++
Jul 11 2016 20:05
Is it just me or the GitHub font has changed for all texts (PR headings/comments etc)?
Jul 11 2016 20:26