是否值得创建一个开放的CL版本的抽象代数库?

I'm making an abstract algebra library in Python, and one of the things it does it takes the Cayley table (think of it as an abstract "multiplication" table, which doesn't have to obey the standard rules for multiplication or addition), and uses it to prove whether or not certain identities or properties hold for the binary operator defined by the Cayley table.I'm making an abstract algebra library in Pytho