Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Slides of the Coq workshop

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Slides of the Coq workshop

chronological Thread

From: Bas Spitters <spitters AT cs.ru.nl>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Slides of the Coq workshop
Date: Fri, 2 Sep 2011 16:45:04 +0200

The slides of the Coq workshop are now available:
http://www.cs.ru.nl/~spitters/coqw_files/program.html

Bas

[Coq-Club] Slides of the Coq workshop, Bas Spitters

Archive powered by MhonArc 2.6.16.