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: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr, Matthieu Sozeau <mattam AT mattam.org>
Subject: Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1
Date: Thu, 9 Nov 2017 17:10:09 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Pass smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT jupiter.mpi-klsb.mpg.de
Ironport-phdr: 9a23:CF3I6RV30Bk35XjORhP3x+c6/FLV8LGtZVwlr6E/grcLSJyIuqrYZRyBt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aSV3DMl9+If2wEYrPhey20fqz8tvdeUEAoTOhfbNzIQj+lgLDu8ALyd9nI7otwx7hp3JUZ+1Tg2RyKgTAsQz745KK9ZptuwZNvf1po8xdV6rSerw5CKdHF3IhKW9jt56jjgXKUQbavihUaW4RiBcdWwU=

Hi,

well, then of course I also have to mention Iris. ;)
<http://iris-project.org/>

Kind regards,
Ralf

On 09.11.2017 17:07, Matthieu Sozeau wrote:
> 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
> <mailto: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