← Back to context Comment by p11p 15 hours ago [flagged] 2 comments p11p Reply penteract 15 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 14 hours ago Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.
penteract 15 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 14 hours ago Indeed; one cannot copyright mathematical ideas, only their specific expressions. And the formalization is a different expression.
pfdietz 14 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.