Re: [isabelle] naming conventions



On 05/23/2013 05:36 AM, Gottfried Barrow wrote:

So the word "programming", because it's been used for years, and has accumulated many connotations, doesn't work.
:
To make a long story short, the word is "code".

Just saw another wording, "formalisation" in

https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2013-May/msg00078.html
For now I copied these into my formalisation.  ...

"formalisation" is more specific and has a mathematical connotation, which seems appropriate.

Walther




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.