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).
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.