coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Modules

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Coq Modules
Date: Tue, 4 Mar 2014 14:51:06 +0100

Hi all,

Is there any other source of information about the current module
system of Coq, apart from Chrzaszcz's PhD thesis and the Reference
Manual?

Thanks,
Beta

[Coq-Club] Coq Modules, Beta Ziliani, 03/04/2014
- Re: [Coq-Club] Coq Modules, Jacek Chrząszcz, 03/04/2014