coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] About research using Coq

From: 김형선 <hskiowa AT kaist.ac.kr>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] About research using Coq
Date: Wed, 4 Jul 2012 13:59:35 +0900 (KST)

Dear coq-club,

Are there any labs in mathematics department in which researchers use Coq?
I heard there are very few of them in the world, and I assumed that some of the few should be in France.
What are those and do they take ordinary graduate students?

HyungSun Kim

[Coq-Club] About research using Coq, 김형선, 07/04/2012