coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jason Gross <jasongross9 AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] decide equality on more types
- Date: Tue, 05 Jul 2016 01:26:17 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jasongross9 AT gmail.com; spf=Pass smtp.mailfrom=jasongross9 AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f46.google.com
- Ironport-phdr: 9a23:yxmvmRa7gfJ/KWu+xB9aBLP/LSx+4OfEezUN459isYplN5qZpcq5bnLW6fgltlLVR4KTs6sC0LuO9fq7EjBdqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxjbv5p8CbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jAsgCLZg+S7DNIWWIP1xFMHgLt7RfgX563vDGs5cRn3yzPH8TtSrZ8di6l9LwjHB3hkyABOCQ+63qGosN1haNf5hmmokoskMbvfIiJOa8mLevmdtQASD8EB54JWg==
What types are you looking to decide equality on?
On Mon, Jul 4, 2016 at 3:55 PM Jonathan Leivent <jonikelee AT gmail.com> wrote:
Does anyone know of a version of the "decide equality" tactic that works
on more types?
-- Jonathan
- [Coq-Club] decide equality on more types, Jonathan Leivent, 07/05/2016
- Re: [Coq-Club] decide equality on more types, Jason Gross, 07/05/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/05/2016
- Re: [Coq-Club] decide equality on more types, Jason Gross, 07/05/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/06/2016
- [Coq-Club] Ltac way to detect symbol definedness (was Re: decide equality on more types), Jonathan Leivent, 07/06/2016
- Re: [Coq-Club] decide equality on more types, Matthieu Sozeau, 07/08/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/08/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/06/2016
- Re: [Coq-Club] decide equality on more types, Jason Gross, 07/05/2016
- Re: [Coq-Club] decide equality on more types, Jonathan Leivent, 07/05/2016
- Re: [Coq-Club] decide equality on more types, Jason Gross, 07/05/2016
Archive powered by MHonArc 2.6.18.