coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1

From: Matthieu Sozeau <mattam AT mattam.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1
Date: Thu, 09 Nov 2017 16:07:21 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mattam AT mattam.org; spf=Pass smtp.mailfrom=matthieu.sozeau AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f176.google.com
Ironport-phdr: 9a23:+xxdFx3W8+Pdb1NlsmDT+DRfVm0co7zxezQtwd8ZsesTLPad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrn5jkLXx77KABdJ+LvG4eUgd7k+fq1/sj2ahlUhDuwfPtJKwe7pBiZ4swfnZdrL440wwfVq34OfP5ZkzA7bWmPlgrxs5/jtKVo9D5d7qos

Hi Christoph,

you might be interested in Nanevsky's et al. related FCSL's library, which is available for Coq 8.5 at least http://software.imdea.org/fcsl/

Best,

-- Matthieu

On Thu, Nov 9, 2017 at 4:43 PM Adam Chlipala <adamc AT csail.mit.edu> wrote:

Sorry, Ynot is a dead project, with no particular expectation that
anything builds on any recent version of Coq.

On 11/09/2017 10:40 AM, Christoph-Simon Senjak wrote:
> I was trying to build Ynot [1] under Coq 8.6.1 (in a Nix-Shell).

[Coq-Club] Trying to build Ynot under Coq 8.6.1, Christoph-Simon Senjak, 11/09/2017
- Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Adam Chlipala, 11/09/2017
  - Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Matthieu Sozeau, 11/09/2017
    - Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Ralf Jung, 11/09/2017
    - Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Aleksandar Nanevski, 11/09/2017