List view
Integrate a simple SymPy interface to allow the manipulation of infinite sets, including light proofs. This may also be integrated by creating a new set oriented symbolic math library (though, this is not likely due to the undertaking of such a task).
No due dateIncrease performance of all modules by using Cython.
No due date•0/1 issues closed