The Free Software Foundation (FSF) is an organization that I usually support enthusiastically, but its latest suggestion is more doubtful. See what you think.
It is suggested that it should be a link to a page where the licensing terms can be consulted. Something like
Is over-regulating software freedom like fighting for peace?
Perhaps we need to recover the laissez-faire in our dealings with code and remember the intention of the action as well as its implementation.
The idea that computers play a key role in mathematical proof is well accepted today by all but the purist of mathematicians, but the latest example of proof by computer enters a new realm - a proof 2 [ ... ]