1. 11

This article is full of interesting details about the development of Coq and its predecessors.

  1.