coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] UIP and decidable equality

From: Alan Schmitt <alan.schmitt AT polytechnique.org>
To: Jason Gross <jasongross9 AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] UIP and decidable equality
Date: Mon, 12 Sep 2016 08:50:39 +0200

Thanks a lot Jonathan and Jason for the enlightening comments.

Best,

Alan

--
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2015-08: 398.93, 2016-08: 402.25

Attachment: signature.asc
Description: PGP signature

[Coq-Club] UIP and decidable equality, Alan Schmitt, 09/09/2016
- Re: [Coq-Club] UIP and decidable equality, Jason Gross, 09/09/2016
  - Re: [Coq-Club] UIP and decidable equality, Alan Schmitt, 09/09/2016
- RE: [Coq-Club] UIP and decidable equality, Soegtrop, Michael, 09/09/2016
  - Re: [Coq-Club] UIP and decidable equality, Alan Schmitt, 09/09/2016
- Re: [Coq-Club] UIP and decidable equality, Jonathan Leivent, 09/09/2016
  - Re: [Coq-Club] UIP and decidable equality, Jason Gross, 09/09/2016
    - Re: [Coq-Club] UIP and decidable equality, Jason Gross, 09/09/2016
      - Re: [Coq-Club] UIP and decidable equality, Jason Gross, 09/09/2016
        
        Re: [Coq-Club] UIP and decidable equality, Alan Schmitt, 09/12/2016