Skip to Content.

Sympa Menu

coq-club - Re: [Coq-Club] Proof irrelevance for equalities - is there a trick without axioms?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Proof irrelevance for equalities - is there a trick without axioms?

From: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
To: Maxime Dénès <mail AT maximedenes.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Proof irrelevance for equalities - is there a trick without axioms?
Date: Thu, 18 Aug 2016 13:02:46 +0200

Hi Maxime, the work will be defended in September. I'll talk to you offline.
Hugo

Re: [Coq-Club] Proof irrelevance for equalities - is there a trick without axioms?, (continued)

Archive powered by MHonArc 2.6.18.