coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Arnaud Spiwack <aspiwack AT lix.polytechnique.fr>
- To: "N. Raghavendra" <raghu AT hri.res.in>
- Cc: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Excluded middle and decidable equality
- Date: Fri, 27 Sep 2013 09:25:19 +0200
Yes, I'll look at that chapter. Your thesis itself looks very
interesting. It seems to discuss a lot of homological algebra in the
context of Coq.
To be fair, it'd be more accurate to say it discusses Coq in the context of homological algebra.
- [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/26/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Arnaud Spiwack, 09/26/2013
- Re: [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Arnaud Spiwack, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Andrej Bauer, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Andrej Bauer, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Arnaud Spiwack, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Arnaud Spiwack, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Andrej Bauer, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, N. Raghavendra, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Arnaud Spiwack, 09/27/2013
- Re: [Coq-Club] Excluded middle and decidable equality, Arnaud Spiwack, 09/26/2013
Archive powered by MHonArc 2.6.18.