Subject: Ssreflect Users Discussion List
List archive
- From: Mitchell Wand <>
- To:
- Subject: [ssreflect] Solutions to Gonthier-Mahboudi paper?
- Date: Sat, 10 Feb 2018 09:33:15 -0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:IKqaah+N6EREff9uRHKM819IXTAuvvDOBiVQ1KB40u0cTK2v8tzYMVDF4r011RmVBdyds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+54Dfbx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/mhikEKjA37n3Yh9dqg65Huh+svQBzz5LWbYyTKfFwfrndfdQfRWdZWchRVjBBDZ+8b4QRC+oBOftToInnqFsIsBS1GA6hBe31xT9Om3D7xrE13Pg6EQ3c2gwvAc8OvG7Ko9roKacfSOa4x7TGwzXEavNZwzb96I7QfxAgp/GMR7NwftDLxUkhDQPIiEibp4/9Pz6NyOgBr2yW4/BjWO+vkWIrtRx9rzu1ysojhITEgJ8exEre+iVj2ok1IMW1SE5lbt6gF5tdrySaOJF3QsMmWm1ovyc6xqEftZ61cyUHxo4rxxHYa/yAfIiI5gzsWPyNLjd/gXJpYLO/hxCs/ki80uDwSNW43VJQoidGktTArG4B2wHQ58SdRfZw8F+t2TOV2ADS7uFEL1o0la3eK5M5x74xmIAcsULeESPrg0j2g6qWeV8l+uis8ejofrLmppqEO49ulg7+KrgumtC4AekgKQgORHKb9vqy1L3n40L2XKlKg+YtkqjZtZDaPd4UqrS4Aw9TyIYj6gywAy2o0NQCzjE7KwdeYwiKgYzkME3mJeviSPa5mVWl1jZt3fHPeLP7UbvXKX2Wtbb9drZw70oU9wM1wZgL+JtSBpkKK+m1XELs8tHUE0lqYESP3+/7BYAlhcslUmWVD/rBafKAgRqz/usqZtK0SsoQsTf5JeIi4qe333A8kF4ZO6Ku2MlOMSzqLrFdO0ycJEHUrJIZC25T51gxSeXrjBuJVjsBPy/vDZJ53SkyDcedNamGRo2ph+bcjiKyH5kTYWEeT17QSjHncIKLX/pKYyWXcJds
Can anybody tell me where to find the solutions to "An introduction to small scale reflection in Coq"?
The paper promises solutions at www.msr-inria.inria.fr/Projects/math-components, but I couldn't find them.
I'd search the mailing list archives, but I couldn't figure out how to search over more than one month's worth of messages, either. (Help on this would also be appreciated).
--Mitch
- [ssreflect] Solutions to Gonthier-Mahboudi paper?, Mitchell Wand, 02/10/2018
- Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Enrico Tassi, 02/12/2018
- Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Mitchell Wand, 02/12/2018
- Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Enrico Tassi, 02/12/2018
- Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Mitchell Wand, 02/12/2018
- Re: [ssreflect] Solutions to Gonthier-Mahboudi paper?, Enrico Tassi, 02/12/2018
Archive powered by MHonArc 2.6.18.