The Coq mailing list

[Jacek Chrząszcz <chrzaszcz AT mimuw.edu.pl>]

There is also the PhD thesis of Elie Soubiran, which is more recent than mine 
:)
http://tel.archives-ouvertes.fr/docs/00/67/92/01/PDF/these.pdf

Bests

Jacek

2014-03-04 14:51 GMT+01:00 Beta Ziliani 
<beta AT mpi-sws.org>:
> 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