/VectorSpace

Code to symbolically check vector space axioms for a given vector space class.

Primary LanguageC++

Watchers