Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Which licence is the most convenient for solut...


view this post on Zulip Email Gateway (Aug 22 2022 at 18:53):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>

Wolfram wrote:
In general, one thing to consider with this is whether the book is
still in use as a textbook, with the exercises given to students
intended as thinking problems, where your repository then would reward
those students who approach the exercises as a search problem
(Google...) instead...

I agree. So, I will keep my solutions in private.

Kind Regards (happy new year),
José M.

El jue., 3 ene. 2019 a las 12:24, Wolfram Kahl (<kahl@cas.mcmaster.ca>)
escribió:

On Thu, Jan 03, 2019 at 12:18:15PM -0500, José Manuel Rodriguez Caballero
wrote:

More generally, if I take a book of
mathematics and I want to upload my own solutions to the problems
proposed
in this book to github, which licence would be the most convenient?

In general, one thing to consider with this is whether the book is
still in use as a textbook, with the exercises given to students
intended as thinking problems, where your repository then would reward
those students who approach the exercises as a search problem
(Google...) instead...

Happy New Year!

Wolfram

view this post on Zulip Email Gateway (Aug 22 2022 at 19:00):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
Hello,
I began this year studying the book

Nipkow, Tobias, and Gerwin Klein. "Concrete Semantics." *A Proof Assistant
Approach* (2014). http://concrete-semantics.org/concrete-semantics.pdf

and uploading my own solutions to github:
https://github.com/josephcmac/ExercisesFromConcreteSemantics

I wonder which licence would be the most convenient for this repository (my
main concern is related to copyright issues, but my solutions are not the
same as the official solutions). More generally, if I take a book of
mathematics and I want to upload my own solutions to the problems proposed
in this book to github, which licence would be the most convenient?

Kind Regards,
José M.

view this post on Zulip Email Gateway (Aug 22 2022 at 19:02):

From: Wolfram Kahl <kahl@cas.mcmaster.ca>
In general, one thing to consider with this is whether the book is
still in use as a textbook, with the exercises given to students
intended as thinking problems, where your repository then would reward
those students who approach the exercises as a search problem
(Google...) instead...

Happy New Year!

Wolfram


Last updated: Mar 28 2024 at 12:29 UTC