Subject: Ssreflect Users Discussion List
List archive
- From: Pierre-Yves Strub <>
- To: Ssreflect <>
- Subject: Re: [ssreflect] New book about ssreflect
- Date: Tue, 27 Mar 2018 13:45:57 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:R3ZepRyFKKArBITXCy+O+j09IxM/srCxBDY+r6Qd1O0TIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRDqhicJNzA3/mLKhMJukK1VrwmspwBmw4POfI2ZKOZyc6HbcNgHRWRBRMFRVylZD42mbosAEfABPfxGoIXkpVQOswWxBRKxD+3y1j9InGL20rYn2OkmCQHG3RIvH8gUsHvKtdn0NLkSXv6uzKTT1jXDc+lW2Srm54TSdBAhvOiBULRtesTfzkkvEhnKjlSWqYH9JTyV0/4Csmmc7+pmT+6gl2knpxtzoji3wMonl4rHhpoNx1za6Sl0xJw5KN64RUJhf9KoDZhduzuVOoZ2RM4pXntmtzwgyrIcvJ62ZCgKx4ojxx7Yc/GHdpKH4hPnVOqIJjd4hW5pdKuxhxu98UWs0OL8Vs6z0FZFqipKjMPAuWwK1xzW8sSHS/198Vm92TuXyQzf9uVJLVo3mKfbMZIt3KM8m5kJvUnMHiL6gED2g7WXdkUg9Oio8ePnYrD+q5+ENo97lBv+Mr4wlcCmAeU4LBYBX3OA9OSnyL3j51D5T65Qgv0wj6nVqIraKtgDpq6lHw9V1Z4u6w2kDze8ztsYk30HI0xZdxKblIXpIFHPIPXgDfilmViskTFrx+rHPrL7GJnNIGLDw//deuNG8FRRxg4+xswXs4lPELwPJP/4Rmf0r8adDxkjMgXywuD9Cdw72JlICkyVBarMCKLfq0WFo9MxLvLEX5MPpTy1f+Ak6uT0gDooh1IGVbK1x4YdLnalSKc1a36FaGbh149SWVwBuRAzGbSz2Q+yFAVLbnP3ZJoSozQyCYaoF4DGH9j/m6CbwS39GIAEPzkaWGDJKm/hcsC/Y9lJcDibe5cziSAeSLLnTZJzjUjz5j+/8KJuK6/vwgNdtZ/n04IotejalBV38j0sSsrBjieCSGZ7mm5OTDgzjvhy
Il n'est pas encore édité :(
2018-03-27 10:52 GMT+02:00 Laurent Thery
<>:
> Hi,
>
>
> I've just discovered that there is a new book in japanese about
> ssreflect. Great!!!
>
> https://www.amazon.co.jp/Coq-SSReflect-MathComp%E3%81%AB%E3%82%88%E3%82%8B%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E-%E3%83%95%E3%83%AA%E3%83%BC%E3%82%BD%E3%83%95%E3%83%88%E3%81%A7%E3%81%AF%E3%81%98%E3%82%81%E3%82%8B%E6%95%B0%E5%AD%A6%E3%81%AE%E5%BD%A2%E5%BC%8F%E5%8C%96-%E8%90%A9%E5%8E%9F/dp/4627062419
>
>
> --
> Laurent
>
- [ssreflect] New book about ssreflect, Laurent Thery, 03/27/2018
- Re: [ssreflect] New book about ssreflect, Pierre-Yves Strub, 03/27/2018
Archive powered by MHonArc 2.6.18.