Note for other readers: These issues are not formally managed on sourceforge (or...
Note for other readers: These issues are not formally managed on sourceforge (or...
Better Error Messages When Working on SPAD Code
IDE for FriCAS
Add Ability to Write Equation Solvers for a given Domain.
Better Support for Working with Finite Structures.
Ability to Specify Identities and Axioms for a given Domain.
Better Type System