ssreflect - Re: [ssreflect] ssreflect and omega

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] ssreflect and omega

From: Maxime Dénès <>
To: Georges Gonthier <>, François Pottier <>, Benjamin Werner <>
Cc: "" <>
Subject: Re: [ssreflect] ssreflect and omega
Date: Thu, 18 Feb 2016 13:24:41 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
Ironport-phdr: 9a23:wDvEuB2d7bKXHxhAsmDT+DRfVm0co7zxezQtwd8ZsekRK/ad9pjvdHbS+e9qxAeQG96LtLQY26GP6OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZjnnLnps7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+mhTEVwSC/TMzVWMKkhtFGUCR4xb8QpfwvzHSs+t2wi6BOsPqC7szXGLmp4lxQRlnjyYcAAY+7H3Wh9Y42KxBqRSqoB1khZbTfJ2UOeBWf6XHfNpcS3AXGo57WipDC4a9acMwAvAHMPwQ+4PwoVkHqBq4QxahHuXi0BdJgGX31Os0ybJyPxvB2VkFFsIPtXmcgFTztLxaBeW8za3gyDzTbvZb1Tr75ZOOfAp38qLEZq55bceEkRpnLAjClFjF7NW9Zz4=

Hello,

On 02/18/16 12:21, Georges Gonthier wrote:
> perhaps in the long run it might be better to parametrize omega with the
> theories it can work with

Yes, this is something I'd like to work on, once I am done with the more
political issues that eat up my time these days.

Maxime.

[ssreflect] ssreflect and omega, François Pottier, 02/18/2016
- Re: [ssreflect] ssreflect and omega, Laurent Thery, 02/18/2016
  - Re: [ssreflect] ssreflect and omega, François Pottier, 02/18/2016
    - Message not available
      - Re: [ssreflect] ssreflect and omega, François Pottier, 02/18/2016
        
        RE: [ssreflect] ssreflect and omega, Georges Gonthier, 02/18/2016
        
        Re: [ssreflect] ssreflect and omega, Maxime Dénès, 02/18/2016
        
        Re: [ssreflect] ssreflect and omega, Nicolas Magaud, 02/18/2016
        Re: [ssreflect] ssreflect and omega, Laurent Thery, 02/18/2016
        
        Re: [ssreflect] ssreflect and omega, Assia Mahboubi, 02/21/2016
        
        Re: [ssreflect] ssreflect and omega, François Pottier, 02/22/2016
        Re: [ssreflect] ssreflect and omega, Assia Mahboubi, 02/22/2016
        RE: [ssreflect] ssreflect and omega, Georges Gonthier, 02/22/2016
        Re: [ssreflect] ssreflect and omega, Assia Mahboubi, 02/22/2016
        
        Re: [ssreflect] ssreflect and omega, Assia Mahboubi, 02/22/2016
        Re: [ssreflect] ssreflect and omega, Enrico Tassi, 02/22/2016
        Re: [ssreflect] ssreflect and omega, Assia Mahboubi, 02/22/2016

List archive

Re: [ssreflect] ssreflect and omega