Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Should I use Coq?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Should I use Coq?


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page