Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] MathComp/Ssreflect Tutorials?

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] MathComp/Ssreflect Tutorials?


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page