coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Marco Servetto <marco.servetto AT gmail.com>
- To: Victor Porton <porton AT narod.ru>, Jonas Oberhauser <s9joober AT gmail.com>, coq-club AT inria.fr
- Subject: Re: [Coq-Club] Should I use Coq?
- Date: Thu, 20 Dec 2012 15:44:33 +0700
On this topic, I suggest all to watch
a talk:
searching without objecitives
http://splashcon.org/2012/highlights/135-splash-2010/417-searching-without-objectives
It is one of the best inspiration talks I have ever seen.
Marco
- [Coq-Club] Comparing objects of dependend record types, Victor Porton, 12/18/2012
- Re: [Coq-Club] Comparing objects of dependend record types, Olivier Uanelineur, 12/18/2012
- Re: [Coq-Club] Comparing objects of dependend record types, Victor Porton, 12/18/2012
- Re: [Coq-Club] Should I use Coq?, Jonas Oberhauser, 12/18/2012
- Re: [Coq-Club] Should I use Coq?, Marco Servetto, 12/20/2012
- Re: [Coq-Club] Should I use Coq?, Jonas Oberhauser, 12/18/2012
- Re: [Coq-Club] Comparing objects of dependend record types, Victor Porton, 12/18/2012
- Re: [Coq-Club] Comparing objects of dependend record types, Olivier Uanelineur, 12/18/2012
Archive powered by MHonArc 2.6.18.