copyright issues regarding writing solution manuals in lean

Stream: general

[Bulhwi Cha]

If I wrote a solution manual for a textbook in Lean, this would be copyright infringement. Am I right?

[Bulhwi Cha]

I guess I have no choice but to pick only open textbooks.

[Kyle Miller]

You have other choices, like asking the author of the textbook for permission. Copyright covers what happens when you can't or don't want to get permission.

[Bulhwi Cha]

But wouldn't the authors or publishers want to demand money from me for giving permission? I'm broke.

[Kyle Miller]

If they do then you can decide to choose another textbook, but you can't know if they will or not without asking.

[Bulhwi Cha]

Hmm, you have a point. Thanks for your answers.

[Mac Malone]

Bulhwi Cha said:

If I wrote a solution manual for a textbook in Lean, this would be copyright infringement. Am I right?

That is not what I get from that link. If no such solution manual exists, then it is likely, at worst, fair use. Furthermore, if the textbook was NOT written with Lean in mind, Lean solutions would be clearly transformative. Also, if you do not include the original problems, but just the solutions, your work would be very non-derivative. Thus, it should be fine as far as I am aware.

Disclaimer: I am not a lawyer (yet).

[Johan Commelin]

I like the "(yet)" at the end of your post :grinning: