coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [ssreflect] Looking for ssreflect solutions

From: Mitchell Wand <wand AT ccs.neu.edu>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] [ssreflect] Looking for ssreflect solutions
Date: Sat, 10 Feb 2018 09:56:01 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mwand1 AT gmail.com; spf=Pass smtp.mailfrom=mwand1 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot0-f182.google.com
Ironport-phdr: 9a23:+OtVGhZuI7sv4+D/cwMJVAX/LSx+4OfEezUN459isYplN5qZoM29bnLW6fgltlLVR4KTs6sC17KP9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCagbb9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGoSyb4oTD+UdPeZXsY39p18TphS+HwasAv7gwSJPi374x6I61fkuHBra0wM8BNICqnLUo8voNKsIT++60bTIwCzFYvhL1zn9743IfQogofGKRb9wcMzRyVMuFwzflFmQp5blMjWI3eoOq2iW9+htWO21h2I6tQ18oiKjy8QyhoXTm44YyU7I+CNky4gvP9K4UlR0Ydu8HZtQqS6aM4x2T9snQ25yuSY6zqQKuZmnfCQW0ZgnyQPTZv+Zf4SS7RLjU+GRITh8hH17Yr6wmxGy8U24xu39UMm7zkpKozJHn9TDrHwBygLf58idRvZ+4EutwyuD2gPN5u1cJEA7j6vbK5ovwr4qkZoTtFzOHir4mUrsiq+Za1go9/On6+TieLrmp5ucO5VohQH5N6Qigta/DvggMggSQ2ib/vyx26Hk/U3gWblFkvk2krTCv53BPsQapqu5AxdP3Yo56ha/CS2m0NUCknUdIlJFYkHPs4+8MFbXZfv8EP3311+riXJgw+3MFrznGJTEaHbZxuTPZ7F4vmtd1AEzwNRbr61dDL1JdO36XEPZv9fDSBk0Lkq5z/uxW4Y17Z8XRW/aWvzRC6jVq1Ldvrt+cdnJX5ccvXPGE9Zg4vfviXEjnlpEJPum2JIWbDazGfE0ehzFM0qpuc8IFCIxhiR7VPbj0QTQXjtaZnL0VKU5tGliVdCWSLzbT4Xou4SvmSe2GpoMODJDA1GIVHD0L8CKAqdWLi2VJcBln3oPUr3zE4I=

Can anybody tell me where to find the solutions to "An introduction to small scale reflection in Coq" by Gonthier and Mahboudi?

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).

(Sorry for multiple postings...)

--Mitch

[Coq-Club] [ssreflect] Looking for ssreflect solutions, Mitchell Wand, 02/10/2018