coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Domain theory in Coq

From: "Moez A. AbdelGawad" <moez AT cs.rice.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Domain theory in Coq
Date: Sat, 27 Jan 2018 03:21:18 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=moez AT cs.rice.edu; spf=None smtp.mailfrom=moez AT cs.rice.edu; spf=None smtp.helo=postmaster AT mx0a-0010f301.pphosted.com
Importance: normal
Ironport-phdr: 9a23:13e6hBAMm7LFDILNETbZUyQJP3N1i/DPJgcQr6AfoPdwSPT5oMbcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJOSM3/mLUhcJwkqxbuh2uqABkzoHOfI2YLuBzcr/Bcd4YQ2dKQ8ZfVzZGAoO5d4YDAe0PPeFGoIj8ulADsQGyDhSwCez01zBHmHv206wg3OUvCw7JwQIsFM8JvXTRq9X6KqYTXPupw6nT1znDdfJW1ivj54TSbB8uvOyMUKt2fMHMx0cvEAbFgU+RqYzjJz6azP4Nsmea7+p+T+6vjHQnqw53rzOyxckskpHEip8ax13H7yl13Yc4KNOiREJmbtOpFIFcuz+aOoZ5Ws8uXmFltScgxrEbuJO3YTIGxIk5yxLCcfCLboyF7g7lWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZPoStJjsPDumkR2xDP98SLVvV980m91TqSzQzT8vlEIUAzlarAN54u3KM/moAPvkTEGy/6gET2jKmIeUU44uWk9uvqb7b8qpOBNoJ5hBvyPrkhl8G7G+g0LAgDUmeD9eS5zrLj/En5QLtQjv0xl6nUqJXaJcMFqa+4GAJazp0j5wylDzenzNsXg2MLI0xYdxKal4TpIU3BIOjkDfejhFShiCtkx/ffPrH4HprNKmXDn6z6cLZm609czRIzwspF65JVDLEBOvPzVVXruNzWFB9qezCzlu3gEZB20p4UcWOJGK6Qdq3I4mWF/uY+H+7ZLqoStSS1Ar5tzvTigHsWkEAUcePhiZ4QZWKQFe8gOUSSbDzhjspXQkkQuQ9rBsnthU/KeHgbTny+UqYT7y4yBMjuWYLES5KFi6fHxiawE9tban0QWQPEKmvha4jRA6REUymVOMI0ymVVB4jkcJco0FSVjCG/zrNmKuTO/ShB7sDoz55v5ube0xw+6G4sVpjP4yS2V2hx21gwaXouxqkm+h520RGZ0KN1xfFUCI4Lvq4bYkIBLZfZitdCJZXyVwbGJIfbTUb+S5D+WWhpQIlpmpkWe0Z6AMmvglbI2C/4W7I=

Dear interested Coq-clubbers,

A report summarizing my short experience with formalizing finitary-based domain theory in Coq is now available at

http://arxiv.org/abs/1801.08441

-Moez

[Coq-Club] Domain theory in Coq, Benjamin C. Pierce, 01/05/2018
- Re: [Coq-Club] Domain theory in Coq, Robert, 01/10/2018
- <Possible follow-up(s)>
- RE: [Coq-Club] Domain theory in Coq, Moez A. AbdelGawad, 01/06/2018
  - RE: [Coq-Club] Domain theory in Coq, Nathaniel Yazdani, 01/06/2018
- Re: [Coq-Club] Domain theory in Coq, Moez A. AbdelGawad, 01/27/2018