A Symbolic Code Algebra+Calculus system for VS Code - View it on GitHub