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
For now I copied these into my formalisation. ...
"formalisation" is more specific and has a mathematical connotation,
which seems appropriate.
This archive was generated by a fusion of
Pipermail (Mailman edition) and