coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] dealing with setoid rewriting problems

From: Clément Pit--Claudel <clement.pit AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] dealing with setoid rewriting problems
Date: Tue, 1 Dec 2015 00:55:36 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=clement.pit AT gmail.com; spf=SoftFail smtp.mailfrom=clement.pit AT gmail.com; spf=None smtp.helo=postmaster AT mout.kundenserver.de
Ironport-phdr: 9a23:osDpyB2gmKYMzps3smDT+DRfVm0co7zxezQtwd8ZsegSL/ad9pjvdHbS+e9qxAeQG96LtrQU2qGP7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZTmnLnss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7Frx7GGCCLZ34RVHkhqhtURk3u6BjnUpr1+n/xsud41S+Ge9X3UZg7XD2j6+FgTxq+23RPDCIw7GyC0p84t6lcuh/0/xE=

Hey Vadim,

On 12/01/2015 12:50 AM, Vadim Zaliva wrote:
> A related question: I wan to try this under Coq 8.5. Somebody posted once a
> link to web page
> which shows status of some automated build check showing what libraries are
> compatible with
> different coq versions. I could not find it. In particular I need both
> “CoLoR” and “math-classes”
> to be able to try my proof under 8.5.

Could this be https://coq-bench.github.io/ (courtesy of Guillaume Claret)?

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
- Re: [Coq-Club] dealing with setoid rewriting problems, Clément Pit--Claudel, 12/01/2015
  - Re: [Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
    - Re: [Coq-Club] dealing with setoid rewriting problems, Abhishek Anand, 12/01/2015
      - Re: [Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
        
        Re: [Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
        
        Re: [Coq-Club] dealing with setoid rewriting problems, James Lottes, 12/01/2015
        
        Re: [Coq-Club] dealing with setoid rewriting problems, Pierre Courtieu, 12/01/2015