coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] meaning of formal specifications

From: Fritjof <fritjof AT uni-bremen.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] meaning of formal specifications
Date: Fri, 29 Jan 2021 13:25:59 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fritjof AT uni-bremen.de; spf=SoftFail smtp.mailfrom=fritjof AT uni-bremen.de; spf=None smtp.helo=postmaster AT lnv-91185.sb.dfki.de
Ironport-phdr: 9a23:YeMlVxeFqxDhDrWKcgNFJ3gTlGMj4u6mDksu8pMizoh2WeGdxcS+Yh7h7PlgxGXEQZ/co6odzbaP4ua7Aydbvt7B6ClELMUTEUddyI0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUoHdgN6q2O+s5pbdfxtHhCanYbN1MR66sRjdutMZjId/Lqs90BXErmVHd+lYx25jOFafkwrh6suq85Nv7iZdt+g9+8JcVKnxYrg1Q6FfADk6KW4++dfltQPETQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59KdkVAXoiCYcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndHU81MVSJOH5m8YpMBAeQBI+hWsorzp1UBohSiGAajBvjiyiNUinLswaE2z/gtHAPA0Qc9H9wOqnPUrNDtOakSS+C1zbXIzTfEb/NYxDzw74bIcgogofGQX7JwdsTRxFIyFwPDj1WcsJfqPymL2eQIrWeb6fBsWv+xhGM+rQx6vzegyNs2hIbTmoIV1k7L9T9/wIstKtC1SFJ3bN6nHZVeuC+XK4l7TMwgTmxotig3yqELtJG7ciQWx5kqyQLTZ+GIfoSU7B/uVOafLStliH97Zb+xhxC/+lWjxO3kTsS4zVhHoyVfntTIt30BzQHf58yaRvdn40us2jaC2xjQ5+1aO0w4i7bXJpw7zrIuipYesl7PEjL2lUj5iqKda18q9fKy6+v9Z7Xrvp+cOJFwigH5Kqkunsq/AfohPgUKQmSX5Oex2b358U3iW7pGlOA5kqfasJDbP8gUu7C2DxdU0oYl9Rm/Ey+r3MkWkHQINl5IfBOKg5L0N1zKPfz0F+qzjlesnTtzwvDJJLzhApHDLnjZl7fheK5w60BGyAoy0dBf5ZVUCr8aLfLuXE/xtcXUAQQjMwOqxuboFtN92pkDVm2RGqOZKr/dsUeU5uIzJOmBfJMauDHkK/Q8+/HuiWI5lkQGcKmy3ZoXbWi4Ee58L0WYZ3rsmNYBHn0QsgowVuy5wGGFBDVUfjO5W782zjA9EoOvS4nZFa63h7nU8j26Ap9RaCgSBEqNDXXvea2ZXfZJYjifJ8Jn1DAJA+vyA7Q93A2j4Vepg4FsKfDZr3VB5MDTkeNt7uiWrikcsDl9DsCTyWaIFjwmg2UJAjUs0aVypwpxxwXYiPUqs7ljDdVWoshxfEI6OJrblbYoD9bsH1OYJ4fUDk2sBNmoAjB3Qt9jm4ZSMXY4IM2ri1X45wTvG6UczuHZGZo1t6jG0n38IYBxxiSe2Q==

Hi,

this putatively simple question caused a lot of discussion.
I didn't expect that.

But the discussion was very helpful and cleared a lot in my mind.

Thank you all.

Re: [Coq-Club] meaning of formal specifications, (continued)
- Re: [Coq-Club] meaning of formal specifications, Agnishom Chattopadhyay, 01/25/2021
- Re: [Coq-Club] meaning of formal specifications, Adam Chlipala, 01/25/2021
  - Re: [Coq-Club] meaning of formal specifications, Michael Soegtrop, 01/25/2021
    - Re: [Coq-Club] meaning of formal specifications, Adam Chlipala, 01/27/2021
- Re: [Coq-Club] meaning of formal specifications, Xavier Leroy, 01/25/2021
  - Re: [Coq-Club] meaning of formal specifications, Vincent Semeria, 01/25/2021
    - Re: [Coq-Club] meaning of formal specifications, Adam Chlipala, 01/27/2021
      - Re: [Coq-Club] meaning of formal specifications, Vincent Semeria, 01/27/2021
        
        Re: [Coq-Club] meaning of formal specifications, Fritjof, 01/29/2021
- Re: [Coq-Club] meaning of formal specifications, Milad Ketabii, 01/25/2021
  - Re: [Coq-Club] meaning of formal specifications, Pierre Courtieu, 01/26/2021