coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Théry <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] how to prove false
- Date: Wed, 25 Mar 2015 17:55:08 +0100
OK - I'm panicking a bit less...
Were you using an inductive type with more than 255 constructors? ;-)
- [Coq-Club] how to prove false, Stefan Ciobaca, 03/25/2015
- Re: [Coq-Club] how to prove false, Jonathan Leivent, 03/25/2015
- Re: [Coq-Club] how to prove false, Jacques-Henri Jourdan, 03/25/2015
- Re: [Coq-Club] how to prove false, Jonathan Leivent, 03/25/2015
- Re: [Coq-Club] how to prove false, Laurent Théry, 03/25/2015
- Re: [Coq-Club] how to prove false, Jonathan Leivent, 03/25/2015
- Re: [Coq-Club] how to prove false, Laurent Théry, 03/25/2015
- Re: [Coq-Club] how to prove false, Matthieu Sozeau, 03/25/2015
- Re: [Coq-Club] how to prove false, Laurent Théry, 03/25/2015
- Re: [Coq-Club] how to prove false, Jonathan Leivent, 03/25/2015
- Re: [Coq-Club] how to prove false, Laurent Théry, 03/25/2015
- Re: [Coq-Club] how to prove false, Jonathan Leivent, 03/25/2015
- Re: [Coq-Club] how to prove false, Jacques-Henri Jourdan, 03/25/2015
- Re: [Coq-Club] how to prove false, Jonathan Leivent, 03/25/2015
Archive powered by MHonArc 2.6.18.