← Back to context Comment by p11p 12 hours ago [flagged] 2 comments p11p Reply penteract 12 hours ago Producing a formalized proof from a non-formalized proof in a paper or book should not be considered a violation of copyright. pfdietz 12 hours ago Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.
penteract 12 hours ago Producing a formalized proof from a non-formalized proof in a paper or book should not be considered a violation of copyright. pfdietz 12 hours ago Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.
pfdietz 12 hours ago Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.
Producing a formalized proof from a non-formalized proof in a paper or book should not be considered a violation of copyright.
Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.