alt Hacker NewsIndeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.
Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.