Subject: Ssreflect Users Discussion List
List archive
- From: "John Wiegley" <>
- To: "Sergey\, Ilya" <>
- Cc: Christian Doczkal <>, SSReflect mailing list <>
- Subject: Re: [ssreflect] MathComp/Ssreflect Tutorials?
- Date: Wed, 19 Jul 2017 09:05:24 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:PxBAWhctdMoqzfeKP3+78clSlGMj4u6mDksu8pMizoh2WeGdxcS9Yh7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hygbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyxPDJ2hYYQNAeQBOuVWr4fzqFQBsRSzHhWsCP/zxjNUmnP7x7E23uI8Gg/GxgwgGNcOvWzaoNvxM6cSUea1x7TIwjXCcfxW1jP955bIcxwvvPqBWrBwcc3RyUkpGQLIlVOQppLrPjyPzOQNr2mb7/F6WuKpkG4rsR1+oj+qxso1jITCm4wbylfB9SpjwYY1I8W1SEhlbt+qCpRQrT2aN4ptQsw4RWFoozw2xaEBuZ6+ZCQKyZAnxh7FZPycbYeI+B3jW/iRIDtignJqZq6/ihCv+kaj0u3xTte43EpOoyZfkdTBtmoB2wLO5sWGUPdx40Ws1DKX2wzO9O1JIlo4mK7GJ5I7wrM9l4AfvVrfEiPqnkj9kbWYeV8++uey7uTqerXmqYGYN49zkgz+N74hms27AeghKwgOQ3SX9f2y1LH+/0D0RK9GjvIxkqnev5DaIdoUqrSlDA9S14Yv8xe/DzG439QEhXQLMk5JdRadg4XqO1zCOu70Aeq+jli2jTtmxfTLMqXkAprXL3jDlLnhfax6605Z0Aczz95e55NKBbEOJPL8RE/wucfXDh88KQO0wuLnBM9h2YMZXGKDGrWZP7/KsV+U+uIvJPGBZJQOuDbnNfcl6frugmElll8BZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+Qvbq2xW+VmsZXHuoUK8t0nVzKYa3BM2LEoHrm7Gb0yqqNoBdYiZPARaREiG7WZ+DXqJGSiWSJIdekzELUbWwAcd11xaushDSzbd4J/DI+zYRs4ml399wsb6A3Sou/CB5WpzOm1qGSHt5yyZRH2c7
- Organization: New Artisans LLC
>>>>> "SI" == Sergey, Ilya
>>>>> <>
>>>>> writes:
SI> For teaching the very basics of Ssreflect/MathComp, you might these
lecture
SI> notes and the accompanying sources:
SI> http://ilyasergey.net/pnp
I'd like to second Ilya's recommendation of "Programs and Proofs". I found it
an excellent introduction to both the ssreflect library, and the character of
its approach.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
- [ssreflect] MathComp/Ssreflect Tutorials?, Christian Doczkal, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Sergey, Ilya, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, John Wiegley, 07/19/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Emilio Jesús Gallego Arias, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Christian Doczkal, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Emilio Jesús Gallego Arias, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Laurent Thery, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Christian Doczkal, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Michael Nahas, 07/18/2017
- Re: [ssreflect] MathComp/Ssreflect Tutorials?, Sergey, Ilya, 07/18/2017
Archive powered by MHonArc 2.6.18.